config/kernel/linux.in.2
changeset 3103 a8bf927f6e37
parent 2446 d902cd77419f
     1.1 --- a/config/kernel/linux.in.2	Mon May 09 19:26:54 2011 +0200
     1.2 +++ b/config/kernel/linux.in.2	Tue Nov 06 17:02:06 2012 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  # Linux kernel options
     1.5  
     1.6 -if KERNEL_LINUX_INSTALL
     1.7 +if ! KERNEL_LINUX_USE_CUSTOM_HEADERS
     1.8  
     1.9  choice
    1.10      bool
    1.11 @@ -41,4 +41,4 @@
    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 -endif # KERNEL_LINUX_INSTALL
    1.16 +endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS