mawk gawk nawk awk

[Jens Petersen]

Hi,

I want to ask about the awk search order of autoconf.  It
seems that mawk is currently preferred, "since it's
generally faster".  However I understand the opinion is that
gawk is a better awk than mawk, so how about making that the
first choice.  In this day and age of very fast machines, I
think the quality of the awk implementation should be the
deciding factor, not its speed, assuming they don't vary by
orders of magnitude.

If people aren't against this change, I will gladly send in
a patch to this effect to autoconf-patches.

Cheers, Jens