bug-gawk
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] gawk debugger: internal error line 1711, file: debug.c

From: Hermann Peifer
Subject: Re: [bug-gawk] gawk debugger: internal error line 1711, file: debug.c
Date: Tue, 7 Jun 2016 19:41:21 +0200
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 
On 2016-06-07 12:56, address@hidden wrote:
> 
> Thanks. I think the below is actually a better fix; if you do
> 
>       git reset --hard
>       patch -p0 < the-patch-below
> 
> You should also see things working correctly.
> 

Works equally fine. Thanks, Hermann
reply via email to
[Prev in Thread] Current Thread [Next in Thread]