> From: Gavin Smith <[email protected]> > Date: Mon, 24 Oct 2022 15:00:53 +0100 > Cc: [email protected], [email protected] > > > 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?
