config/kernel_linux_headers_install.in
changeset 199 d799643901c3
parent 157 dce3a2ba6e71
child 216 8520332106c9
     1.1 --- a/config/kernel_linux_headers_install.in	Sat Jun 16 17:56:17 2007 +0000
     1.2 +++ b/config/kernel_linux_headers_install.in	Tue Jul 03 22:16:42 2007 +0000
     1.3 @@ -150,3 +150,11 @@
     1.4      default "2.6.21.5" if KERNEL_INSTALL_V_2_6_21_5
     1.5  # CT_INSERT_VERSION_STRING_ABOVE
     1.6  # Don't remove above line!
     1.7 +
     1.8 +config KERNEL_LINUX_HEADERS_INSTALL_CHECK
     1.9 +    bool
    1.10 +    prompt "Check installed headers"
    1.11 +    default n
    1.12 +    help
    1.13 +      If you are in doubt that installed headers are buggy, say 'Y'
    1.14 +      here to have an extra check passed onto the headers.