Re: [bug-gawk] gawk/master exits(?) after @include directive

[Andrew J. Schorr]

On Fri, Apr 28, 2017 at 05:55:41PM +0200, Hermann Peifer wrote:
> > I don't see this problem in current master:
> >
> > bash-4.2$  ./gawk -f test.awk
> > Hello World!
> >
> > But the pretty-print output is strange, in that the @include line is
> > commented out:
> >
> > bash-4.2$  ./gawk -o- -f test.awk
> > address@hidden "walkarray"
> > BEGIN {
> >         print "Hello World!"
> > }
> Hmm. From my side, I can only confirm the issue as reported earlier,
> both on Linux and macOS. I also never saw an include directive being
> commented out through pretty-printing.

It is extremely surprising that you get different results than I do.
Are you using the latest version of the master branch? This is the
last commit:

commit a3be85eec86d00c12e7f4b41a9e27794fbb479a6
Author: Andrew J. Schorr <address@hidden>
Date:   Wed Apr 26 11:32:18 2017 -0400

    Fix bug where Node_regex was setting valref, and restore valref to Node_val 
part of NODE union where it belongs.

I am testing on Linux. I do not see any valgrind errors. I cannot understand
why your results could be different.

Regards,
Andy