config/kernel.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jun 25 21:56:36 2008 +0000 (2008-06-25)
changeset 622 259d3b95bfad
parent 446 d205527c5e01
child 847 af75fc1fe0fc
permissions -rw-r--r--
Don't force building target GMP and MPFR when a native gdb is built. Rather,
add a config knob to configure the native gdb to use or not to use GMP and
MPFR; _this_config_knob_ will force building the target GMP and MPFR only if
turned on.

/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/config/debug/gdb.in | 21 19 2 0 +++++++++++++++++++--
2 files changed, 20 insertions(+), 3 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