config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Apr 20 21:10:03 2009 +0000 (2009-04-20)
changeset 1299 3448ac3f1a5d
parent 908 6db1117b2893
child 1337 7f742f73c2d1
permissions -rw-r--r--
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(-)
yann@1
     1
# Kernel options
yann@1
     2
yann@861
     3
menu "Operating System"
yann@861
     4
yann@883
     5
# Config option used throughout the config and code to determine wether
yann@908
     6
# we have a kernel or not (there might be different bare metal stuff...
yann@883
     7
config BARE_METAL
yann@883
     8
    bool
yann@883
     9
    default n
yann@883
    10
yann@847
    11
config KERNEL
yann@847
    12
    string
yann@847
    13
yann@861
    14
config KERNEL_VERSION
yann@861
    15
    string
yann@850
    16
yann@861
    17
source config.gen/kernel.in
yann@854
    18
yann@1
    19
endmenu