> From: Gavin Smith <[email protected]> > Date: Sun, 23 Oct 2022 19:54:20 +0100 > Cc: [email protected] > > 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. I wouldn't want configure to start using a nawk I have installed here, I want to continue using Gawk, please.
