[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk/master doesn't print when profiling
From: |
arnold |
Subject: |
Re: [bug-gawk] gawk/master doesn't print when profiling |
Date: |
Fri, 15 Feb 2019 01:47:04 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
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