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(-)

diff -durN gcc-3.4.6.orig/gcc/config/sh/sh.h gcc-3.4.6/gcc/config/sh/sh.h

--- gcc-3.4.6.orig/gcc/config/sh/sh.h	2006-01-12 02:20:32.000000000 +0100

+++ gcc-3.4.6/gcc/config/sh/sh.h	2007-08-15 23:03:09.000000000 +0200

@@ -422,6 +422,10 @@

 do {									\

   if (LEVEL)								\

     flag_omit_frame_pointer = -1;					\

+  if (LEVEL <= 2)							\

+    {									\

+      flag_reorder_blocks = 0;						\

+    }									\

   if (SIZE)								\

     target_flags |= SPACE_BIT;						\

   if (TARGET_SHMEDIA && LEVEL > 1)					\