bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] gawkapi.c: assign_number


From: arnold
Subject: Re: [bug-gawk] gawkapi.c: assign_number
Date: Wed, 16 Aug 2017 00:56:18 -0600
User-agent: Heirloom mailx 12.4 7/29/08

> ah! ./bootstrap.sh prevented the core dump

Great.

> > What does `makeinfo --version'  print?  Mine is 6.1. If yours is 6.1
> > or newer and you're getting a core dump, then it's a problem in the
> > port of makeinfo to your system (which is truly wierd, as it's written
> > in Perl).
> > 
>
> I hope you're sitting down, mine is much older:
> $ which makeinfo; makeinfo --version
> /usr/bin/makeinfo
> makeinfo (GNU texinfo) 4.8

That version was written in C, which explains that it can dump core.

If you can upgrade, you should.

> Once the patch is committed, I'll git stash and re-test.

Great, thanks.

Arnold



reply via email to

[Prev in Thread] Current Thread [Next in Thread]