config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Apr 13 18:16:58 2008 +0000 (2008-04-13)
changeset 439 dd62fca2d6fd
parent 61 1207acb66003
child 446 d205527c5e01
permissions -rw-r--r--
Matthias Kaehlcke <matthias@kaehlcke.net> reported hanged downloads on his
network, most probably due to proxies. Have downloaders (wget and curl)
timeout on too slow connections (they don't by default).

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