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

[Andrew J. Schorr]

On Fri, Apr 28, 2017 at 09:03:28PM +0200, Hermann Peifer wrote:
> Yes. To be on the safe side: I made a fresh clone which did not make any
> difference:
> $ git clone git://git.savannah.gnu.org/gawk.git

Oops, my apologies, I had a typo in my test file -- I mistakenly put
a comment sign in front of the @include statement. I now see the same
problem. Sorry for wasting your time.

Regards,
Andy