Define $AWK from the subst @AWK@, and use it, instead of just `awk'.

diff --git a/autoconf.in b/autoconf.in
index 5e136c13749513f3c37c69cd092fee242cb91d45..489420223f39af9ad799f9e377254cb9fcfbf707 100644 (file)
--- a/autoconf.in
+++ b/autoconf.in
@@ -33,6 +33,7 @@ if test "${LANG+set}"   = set; then LANG=C;   export LANG;   fi
 
 : ${AC_MACRODIR=@datadir@}
 : ${M4=@M4@}
+: ${AWK=@AWK@}
 case "${M4}" in
 /*) # Handle the case that m4 has moved since we were configured.
     # It may have been found originally in a build directory.
@@ -141,7 +142,7 @@ else
 fi
 
 # Put the real line numbers into configure to make config.log more helpful.
-awk '
+$AWK '
 /__oline__/ { printf "%d:", NR + 1 }
            { print }
 ' $tmpout | sed '

diff --git a/autoconf.sh b/autoconf.sh
index 5e136c13749513f3c37c69cd092fee242cb91d45..489420223f39af9ad799f9e377254cb9fcfbf707 100644 (file)
--- a/autoconf.sh
+++ b/autoconf.sh
@@ -33,6 +33,7 @@ if test "${LANG+set}"   = set; then LANG=C;   export LANG;   fi
 
 : ${AC_MACRODIR=@datadir@}
 : ${M4=@M4@}
+: ${AWK=@AWK@}
 case "${M4}" in
 /*) # Handle the case that m4 has moved since we were configured.
     # It may have been found originally in a build directory.
@@ -141,7 +142,7 @@ else
 fi
 
 # Put the real line numbers into configure to make config.log more helpful.
-awk '
+$AWK '
 /__oline__/ { printf "%d:", NR + 1 }
            { print }
 ' $tmpout | sed '

diff --git a/bin/autoconf.in b/bin/autoconf.in
index 5e136c13749513f3c37c69cd092fee242cb91d45..489420223f39af9ad799f9e377254cb9fcfbf707 100644 (file)
--- a/bin/autoconf.in
+++ b/bin/autoconf.in
@@ -33,6 +33,7 @@ if test "${LANG+set}"   = set; then LANG=C;   export LANG;   fi
 
 : ${AC_MACRODIR=@datadir@}
 : ${M4=@M4@}
+: ${AWK=@AWK@}
 case "${M4}" in
 /*) # Handle the case that m4 has moved since we were configured.
     # It may have been found originally in a build directory.
@@ -141,7 +142,7 @@ else
 fi
 
 # Put the real line numbers into configure to make config.log more helpful.
-awk '
+$AWK '
 /__oline__/ { printf "%d:", NR + 1 }
            { print }
 ' $tmpout | sed '