diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/kernel_linux_headers_install.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/kernel_linux_headers_install.in b/config/kernel_linux_headers_install.in index 7db770d..c0a4131 100644 --- a/config/kernel_linux_headers_install.in +++ b/config/kernel_linux_headers_install.in @@ -150,3 +150,11 @@ config KERNEL_VERSION default "2.6.21.5" if KERNEL_INSTALL_V_2_6_21_5 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! + +config KERNEL_LINUX_HEADERS_INSTALL_CHECK + bool + prompt "Check installed headers" + default n + help + If you are in doubt that installed headers are buggy, say 'Y' + here to have an extra check passed onto the headers. |