[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] gawk/master doesn't print when profiling
From: |
Hermann Peifer |
Subject: |
Re: [bug-gawk] gawk/master doesn't print when profiling |
Date: |
Thu, 14 Feb 2019 20:43:56 +0100 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:60.0) Gecko/20100101 Thunderbird/60.5.0 |
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