Re: [bug-gawk] gawk/master doesn't print when profiling

[arnold]

Hermann Peifer <address@hidden> wrote:

> On 14.02.19 07:46, address@hidden wrote:
> > Please make sure that bison is installed and that awkgram.c got
> > regenerated.  If you have bison, you can 'rm awkgram.c' and then
> > run make to force it to be rebuilt.
> > 
>
> Ahh. Sorry. Your patch works fine (of course), after regenerating
> awkgram.c. A minor side-effect seems to be that a trailing space is gone
> in profile11 test output:
>
> $ diff test/profile11.ok test/_profile11 | cat -A
> 304c304$
> < ^Iprint $
> ---$
> > ^Iprint$
>
> Hermann

Glad it's working. The change in profile11 is OK; I will fix it in git.

Thanks!

Arnold