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 /Makefile.in | |
| 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 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 32c9a1e..cb2bf42 100644 --- a/Makefile.in +++ b/Makefile.in @@ -51,7 +51,6 @@ install:= @@install@@ bash := @@bash@@ grep := @@grep@@ make := @@make@@ -awk := @@awk@@ sed := @@sed@@ ############################################################################### @@ -139,7 +138,6 @@ paths.mk: echo "export bash=$(bash)"; \ echo "export grep=$(grep)"; \ echo "export make=$(make)"; \ - echo "export awk=$(awk)"; \ echo "export sed=$(sed)"; \ ) >paths.mk |