# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1239049637 0
# Node ID 108eaf22653b3a2fbc3fdf202e8cc78f8faef1ed
# Parent  d8d16063c9f4e7a2ac5b3e18aba67071164d06db
Use "${awk}", not gawk.

 /trunk/scripts/build/kernel/linux.sh |    2     1     1     0 +-
 /trunk/scripts/build/mpfr.sh         |    2     1     1     0 +-
 /trunk/scripts/functions             |    4     2     2     0 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff -r d8d16063c9f4 -r 108eaf22653b scripts/build/kernel/linux.sh
--- a/scripts/build/kernel/linux.sh	Fri Apr 03 20:22:19 2009 +0000
+++ b/scripts/build/kernel/linux.sh	Mon Apr 06 20:27:17 2009 +0000
@@ -47,7 +47,7 @@
 
     # Only starting with 2.6.18 does headers_install is usable. We only
     # have 2.6 version available, so only test for sublevel.
-    k_sublevel=$(gawk '/^SUBLEVEL =/ { print $3 }' "${CT_SRC_DIR}/linux-${CT_KERNEL_VERSION}/Makefile")
+    k_sublevel=$("${awk}" '/^SUBLEVEL =/ { print $3 }' "${CT_SRC_DIR}/linux-${CT_KERNEL_VERSION}/Makefile")
     [ ${k_sublevel} -ge 18 ] || CT_Abort "Kernel version >= 2.6.18 is needed to install kernel headers."
 
     V_OPT="V=${CT_KERNEL_LINUX_VERBOSE_LEVEL}"
diff -r d8d16063c9f4 -r 108eaf22653b scripts/build/mpfr.sh
--- a/scripts/build/mpfr.sh	Fri Apr 03 20:22:19 2009 +0000
+++ b/scripts/build/mpfr.sh	Mon Apr 06 20:27:17 2009 +0000
@@ -42,7 +42,7 @@
                 # See: http://sourceware.org/ml/crossgcc/2008-11/msg00046.html
                 # and: http://sourceware.org/ml/crossgcc/2008-11/msg00048.html
                 libtoolize_opt=
-                case "$(libtoolize --version |head -n 1 |gawk '{ print $(NF); }')" in
+                case "$(libtoolize --version |head -n 1 |"${awk}" '{ print $(NF); }')" in
                     0.*)    ;;
                     1.*)    ;;
                     *)      libtoolize_opt=-i;;
diff -r d8d16063c9f4 -r 108eaf22653b scripts/functions
--- a/scripts/functions	Fri Apr 03 20:22:19 2009 +0000
+++ b/scripts/functions	Mon Apr 06 20:27:17 2009 +0000
@@ -317,7 +317,7 @@
             # Find all interfaces and build locally accessible networks
             server_ip=$(ping -c 1 -W 2 "${CT_PROXY_HOST}" |head -n 1 |sed -r -e 's/^[^\(]+\(([^\)]+)\).*$/\1/;' || true)
             CT_TestOrAbort "SOCKS proxy '${CT_PROXY_HOST}' has no IP." -n "${server_ip}"
-            /sbin/ifconfig |gawk -v server_ip="${server_ip}" '
+            /sbin/ifconfig |"${awk}" -v server_ip="${server_ip}" '
                 BEGIN {
                     split( server_ip, tmp, "\\." );
                     server_ip_num = tmp[1] * 2^24 + tmp[2] * 2^16 + tmp[3] * 2^8 + tmp[4] * 2^0;
@@ -845,7 +845,7 @@
     # We must omit shell functions, and some specific bash variables
     # that break when restoring the environment, later. We could do
     # all the processing in the gawk script, but a sed is easier...
-    set |gawk '
+    set |"${awk}" '
               BEGIN { _p = 1; }
               $0~/^[^ ]+ \(\)/ { _p = 0; }
               _p == 1