From 1805f4e62d15259fdef1e363896b810db07b0a46 Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Mon, 20 Apr 2009 21:10:03 +0000 Subject: There's no longer any reason to require GNU awk: - the only part that required it (socks proxy settings) is gone, - all remaining awk scripts are POSIXly correct (or should be). -------- diffstat follows -------- /trunk/configure | 5 2 3 0 ++--- /trunk/Makefile.in | 2 0 2 0 -- /trunk/scripts/build/kernel/linux.sh | 2 1 1 0 +- /trunk/scripts/build/internals.sh | 1 0 1 0 - /trunk/scripts/build/mpfr.sh | 2 1 1 0 +- /trunk/scripts/functions | 4 2 2 0 ++-- /trunk/scripts/saveSample.sh.in | 4 2 2 0 ++-- 7 files changed, 8 insertions(+), 12 deletions(-) --- scripts/functions | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts/functions') diff --git a/scripts/functions b/scripts/functions index 44c94684..82bccab5 100644 --- a/scripts/functions +++ b/scripts/functions @@ -743,8 +743,8 @@ CT_DoSaveState() { CT_DoLog DEBUG " Saving environment and aliases" # 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 |"${awk}" ' + # all the processing in the awk script, but a sed is easier... + set |awk ' BEGIN { _p = 1; } $0~/^[^ ]+ \(\)/ { _p = 0; } _p == 1 -- cgit v1.2.3