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

[Hermann Peifer]

On 28.04.17 14:55, Andrew J. Schorr wrote:
> Do you mean "exits" rather than "exists"? :-)
Indeed: it should have been "exits", and commit, rather than committ.

> 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.

Hermann