summaryrefslogtreecommitdiff
path: root/scripts/functions
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-04-06 20:27:17 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-04-06 20:27:17 (GMT)
commit9be02f047ee414f3424c1c23619efa9eea19ee09 (patch)
tree57939a2a0c6c657a96bb064d78b2108700dd9ee4 /scripts/functions
parent204042b3b3d75e9557aa8d644e276833d955e43d (diff)
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(-)
Diffstat (limited to 'scripts/functions')
-rw-r--r--scripts/functions4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/functions b/scripts/functions
index 2cdc4d5..c56f5da 100644
--- a/scripts/functions
+++ b/scripts/functions
@@ -317,7 +317,7 @@ CT_DoSetProxy() {
# 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 @@ CT_DoSaveState() {
# 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