config/kernel/linux.in
changeset 1989 f357bc3abfa6
parent 1974 444d434c658f
child 1990 c12158f27395
     1.1 --- a/config/kernel/linux.in	Thu May 27 10:36:03 2010 +0200
     1.2 +++ b/config/kernel/linux.in	Tue Jun 15 20:04:01 2010 +0200
     1.3 @@ -20,14 +20,6 @@
     1.4  
     1.5  if KERNEL_LINUX_INSTALL
     1.6  
     1.7 -config KERNEL_LINUX_INSTALL_CHECK
     1.8 -    bool
     1.9 -    prompt "Check installed headers"
    1.10 -    default y
    1.11 -    help
    1.12 -      If you are in doubt that installed headers are buggy, say 'Y'
    1.13 -      here to have an extra check passed onto the headers.
    1.14 -
    1.15  choice
    1.16      bool
    1.17      prompt "Linux kernel version"
    1.18 @@ -140,11 +132,19 @@
    1.19      default 1 if KERNEL_LINUX_VERBOSITY_1
    1.20      default 2 if KERNEL_LINUX_VERBOSITY_2
    1.21  
    1.22 -endif
    1.23 +config KERNEL_LINUX_INSTALL_CHECK
    1.24 +    bool
    1.25 +    prompt "Check installed headers"
    1.26 +    default y
    1.27 +    help
    1.28 +      If you are in doubt that installed headers are buggy, say 'Y'
    1.29 +      here to have an extra check passed onto the headers.
    1.30 +
    1.31 +endif # KERNEL_LINUX_INSTALL
    1.32  
    1.33  config KERNEL_LINUX_USE_CUSTOM_HEADERS
    1.34      bool
    1.35 -    prompt "Use custom headers"
    1.36 +    prompt "custom, and/or pre-installed, headers tree"
    1.37      help
    1.38        If you have some kernel headers lying around, you can enter the path
    1.39        below.
    1.40 @@ -175,6 +175,6 @@
    1.41      help
    1.42        See KERNEL_LINUX_CUSTOM_IS_TARBALL, above.
    1.43  
    1.44 -endif # KERNEL_LINUX_USE_CUSTOM_DIR
    1.45 +endif # KERNEL_LINUX_USE_CUSTOM_HEADERS
    1.46  
    1.47  endchoice