[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: |
Wed, 13 Feb 2019 23:46:39 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Hermann Peifer <address@hidden> wrote:
> On 13.02.19 10:37, address@hidden wrote:
> >
> > Here's the fix. I will get it into git later.
> >
>
> Hmm. I applied your patch, but it did not make any difference, as far as
> I can tell.
>
> Hermann
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.
I didn't have a chance yet to push the change to git, sorry.
Arnold