config/kernel/linux.in.2
changeset 3325 069f43a215cc
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	Wed Jun 25 23:33:01 2014 +0200
     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