diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-04-20 21:10:03 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-04-20 21:10:03 (GMT) |
| commit | 1805f4e62d15259fdef1e363896b810db07b0a46 (patch) | |
| tree | 182e163dc9a8c56168f4f8be897dd1643ea03d5b /scripts/functions | |
| parent | aaaca05f1e34610ee25618402b6faf9f6102c627 (diff) | |
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(-)
Diffstat (limited to 'scripts/functions')
| -rw-r--r-- | scripts/functions | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/functions b/scripts/functions index 44c9468..82bccab 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 |