[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk: fatal: can't open source file `extract.awk' for rea
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: [bug-gawk] gawk: fatal: can't open source file `extract.awk' for reading (No such file or directory) |
|
Date: |
Wed, 15 Oct 2014 15:35:53 -0400 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
Hi,
On Wed, Oct 15, 2014 at 08:58:47PM +0200, Hermann Peifer wrote:
> Wait. I see that building works fine when doing this before running make:
>
> $ unset AWKPATH AWKLIBPATH # both defined in my .bash_profile
>
> So the issue might be a feature rather than a bug.
Hmmm, no, that still sounds like a bug to me. If we run gawk with an
expectation about an AWK*PATH value, then we need to set it ourselves.
If I run this, I see more problems:
bash-4.2$ AWKPATH=/junk make check
...
profile1
gawk: fatal: can't open source file `ap-profile1.out' for reading (No such file
or directory)
cmp: EOF on _profile1.out2
...
testext
./testext.ok _testext differ: byte 1, line 1
...
4 TESTS FAILED
I imagine that the attached patch should fix your problem. I haven't
investigated the failed tests.
Regards,
Andy
awklib.patch
Description: Text document