diff -r ddac62e7c428 -r 108eaf22653b scripts/functions
--- a/scripts/functions	Fri Mar 27 23:40:07 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