mirror of
git://git.sv.gnu.org/autoconf
synced 2025-04-24 15:40:44 +08:00
(AC_PROG_AWK): Prefer gawk to mawk.
This commit is contained in:
parent
83b24a76cc
commit
a6a4d5e090
@ -256,9 +256,9 @@ fi
|
||||
# Please, keep this section sorted.
|
||||
# (But of course when keeping related things together).
|
||||
|
||||
# Check for mawk first since it's generally faster.
|
||||
# Check for gawk first since it's generally better.
|
||||
AC_DEFUN([AC_PROG_AWK],
|
||||
[AC_CHECK_PROGS(AWK, mawk gawk nawk awk, )])
|
||||
[AC_CHECK_PROGS(AWK, gawk mawk nawk awk, )])
|
||||
|
||||
|
||||
# AC_PROG_INSTALL
|
||||
|
Loading…
x
Reference in New Issue
Block a user