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

[Andrew J. Schorr]

On Fri, Apr 28, 2017 at 03:14:13PM -0400, Andrew J. Schorr wrote:
> 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.

Obviously, the attached patch should fix this, but it's not a good solution.

Regards,
Andy

source.patch
Description: Text document