diff options
Diffstat (limited to 'config/kernel/linux.in')
-rw-r--r-- | config/kernel/linux.in | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/config/kernel/linux.in b/config/kernel/linux.in index 0d1982f..d5afdf9 100644 --- a/config/kernel/linux.in +++ b/config/kernel/linux.in @@ -20,14 +20,6 @@ config KERNEL_LINUX_INSTALL if KERNEL_LINUX_INSTALL -config KERNEL_LINUX_INSTALL_CHECK - bool - prompt "Check installed headers" - default y - help - If you are in doubt that installed headers are buggy, say 'Y' - here to have an extra check passed onto the headers. - choice bool prompt "Linux kernel version" @@ -140,11 +132,19 @@ config KERNEL_LINUX_VERBOSE_LEVEL default 1 if KERNEL_LINUX_VERBOSITY_1 default 2 if KERNEL_LINUX_VERBOSITY_2 -endif +config KERNEL_LINUX_INSTALL_CHECK + bool + prompt "Check installed headers" + default y + help + If you are in doubt that installed headers are buggy, say 'Y' + here to have an extra check passed onto the headers. + +endif # KERNEL_LINUX_INSTALL config KERNEL_LINUX_USE_CUSTOM_HEADERS bool - prompt "Use custom headers" + prompt "custom, and/or pre-installed, headers tree" help If you have some kernel headers lying around, you can enter the path below. @@ -175,6 +175,6 @@ config KERNEL_LINUX_CUSTOM_PATH help See KERNEL_LINUX_CUSTOM_IS_TARBALL, above. -endif # KERNEL_LINUX_USE_CUSTOM_DIR +endif # KERNEL_LINUX_USE_CUSTOM_HEADERS endchoice |