config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon May 19 21:41:19 2008 +0000 (2008-05-19)
changeset 522 0ebb814eb9f8
parent 446 d205527c5e01
child 847 af75fc1fe0fc
permissions -rw-r--r--
In the future, we'll be able to download /old/ MPFR versions.

/trunk/scripts/build/mpfr.sh | 3 2 1 0 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
yann@1
     1
# Kernel options
yann@1
     2
yann@1
     3
menu "Kernel"
yann@1
     4
yann@1
     5
choice
yann@1
     6
    bool
yann@34
     7
    prompt "Target OS"
yann@1
     8
    default KERNEL_LINUX
yann@1
     9
yann@1
    10
config KERNEL_LINUX
yann@1
    11
    bool
yann@1
    12
    prompt "linux"
yann@1
    13
    help
yann@1
    14
      Build a toolchain targeting systems running Linux as a kernel.
yann@1
    15
yann@1
    16
endchoice
yann@1
    17
yann@1
    18
config KERNEL_VERSION
yann@1
    19
    string
yann@1
    20
yann@1
    21
if KERNEL_LINUX
yann@448
    22
source config/kernel/linux.in
yann@1
    23
endif
yann@1
    24
yann@1
    25
endmenu