summaryrefslogtreecommitdiff
path: root/config/kernel_linux_headers_install.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/kernel_linux_headers_install.in')
-rw-r--r--config/kernel_linux_headers_install.in8
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.