Re: texindex awk syntax error

[Gavin Smith]

On Mon, Oct 24, 2022 at 04:22:04PM +0300, Eli Zaretskii wrote:
> > From: Gavin Smith <gavinsmith0123@gmail.com>
> > Date: Sun, 23 Oct 2022 19:54:20 +0100
> > Cc: bug-texinfo@gnu.org
> > 
> > On Sun, Oct 23, 2022 at 08:36:04PM +0200, Bruno Haible wrote:
> > > Therefore, on this platform, instead of picking the 'awk' that is found
> > > in $PATH, it is a better strategy to look for 'nawk' or 'gawk' in $PATH.
> > 
> > Thanks for investigating this.  I've made it try nawk as well:
> 
> But why should configure try nawk first?  I think it should try awk
> first, because on system where Gawk is installed, it installs itself
> as awk as well.
> 

On the system that Bruno was testing, "awk" didn't work so "nawk" was
preferred.

I think if we test in the order "mawk gawk nawk awk" this will be ok.

> I wouldn't want configure to start using a nawk I have installed here,
> I want to continue using Gawk, please.