On Fri, Oct 05, 2001 at 03:41:53AM -0700, Paul Eggert wrote: > > From: Jens Petersen <[EMAIL PROTECTED]> > > Date: 05 Oct 2001 18:20:51 +0900 > > > > 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. > > Sounds reasonable to me. Please don't forget to include a patch for > the documentation. > > We tend to prefer mawk for the high-performance text processing that > we do around here. But there hasn't been a new release of mawk for > five years, whereas gawk development is still quite active.
Just wondered why Autoconf insists on looking for gawk and ignores awk, unless $AWK is set... I prefer to use the name awk which is what I have GNU AWK renamed as. -- John
