> 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.
