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: jungle boogie
Subject: Re: [bug-gawk] gawkapi.c: assign_number
Date: Tue, 15 Aug 2017 21:56:49 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1

Hi Arnold,
Thus said Arnold on Tue, 15 Aug 2017 22:28:50 -0600
I suspect it may be due to your having an older version of texinfo.

This is correct.  However, if you run the bootstrap.sh script
before running configure and make (as is described in the documentation)
then you should not need to run makeinfo at all.


ah! ./bootstrap.sh prevented the core dump

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

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


Thanks,

Arnold








reply via email to

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