mirror of
git://git.sv.gnu.org/autoconf
synced 2025-04-24 15:40:44 +08:00
(Particular Programs): Prefer gawk to mawk.
This commit is contained in:
parent
e4ac357228
commit
83b24a76cc
@ -3016,10 +3016,10 @@ in some cases whether they support certain features.
|
||||
@defmac AC_PROG_AWK
|
||||
@acindex PROG_AWK
|
||||
@ovindex AWK
|
||||
Check for @code{mawk}, @code{gawk}, @code{nawk}, and @code{awk}, in that
|
||||
Check for @code{gawk}, @code{mawk}, @code{nawk}, and @code{awk}, in that
|
||||
order, and set output variable @code{AWK} to the first one that is found.
|
||||
It tries @code{mawk} first because that is reported to be the
|
||||
fastest implementation.
|
||||
It tries @code{gawk} first because that is reported to be the
|
||||
best implementation.
|
||||
@end defmac
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user