Re: texindex awk syntax error

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Mon, 24 Oct 2022 15:00:53 +0100
> Cc: bruno@clisp.org, bug-texinfo@gnu.org
> 
> > 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.

So maybe we should verify that the "awk": we found satisfies our
needs, and not just rely on the name?  E.g., we could see what "awk"
outputs for "--version", and judge by that?

> 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.

Why not prefer Gawk if it's installed?