texindex awk syntax error

[Gavin Smith]

On Sun, Oct 23, 2022 at 04:59:46PM +0200, Bruno Haible wrote:
> Once the compilation error is fixed, "gmake check" fails:
> 
>   FAIL: tests/ti-helpversion.sh
> 
> Find attached the log.
> 
> On this platform, awk is /usr/bin/awk. Not GNU awk. If 'texindex' works only
> with GNU awk, it ought to be documented in the manual.
> 

It is not supposed to only run on GNU awk.  In fact, it should prefer
awk to gawk.  I prefer not to run texindex with gawk because mawk is
much faster.

Do you have any idea why awk is saying there is a syntax error?

awk: syntax error near line 1
awk: bailing out near line 1