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

 # Bare metal config options

 config KERNEL_bare_metal

     select BARE_METAL

     help

       'Bare metal' refers to those programs that run without any kernel.

       You probably want to say 'y' here if you plan to use your compiler

       to build bootloaders. It is not yet suitable to build Linux kernels,

       though, because the APCI stuff relies on the target C library headers

       being available?!?!...