Make checking the linux installed headers optional (instead of systematic).
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Jul 03 22:16:42 2007 +0000 (2007-07-03)
changeset 199d799643901c3
parent 198 47272dc0b12a
child 200 f46cdeb69ae7
Make checking the linux installed headers optional (instead of systematic).
config/kernel_linux_headers_install.in
scripts/build/kernel_linux.sh
     1.1 --- a/config/kernel_linux_headers_install.in	Tue Jul 03 22:05:00 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.
     2.1 --- a/scripts/build/kernel_linux.sh	Tue Jul 03 22:05:00 2007 +0000
     2.2 +++ b/scripts/build/kernel_linux.sh	Tue Jul 03 22:16:42 2007 +0000
     2.3 @@ -118,15 +118,16 @@
     2.4           ${V_OPT}                                   \
     2.5           headers_install                            2>&1 |CT_DoLog ALL
     2.6  
     2.7 -    CT_DoLog EXTRA "Checking installed headers"
     2.8 -    make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
     2.9 -         O="`pwd`"                                  \
    2.10 -         ARCH=${CT_KERNEL_ARCH}                     \
    2.11 -         INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
    2.12 -         ${V_OPT}                                   \
    2.13 -         headers_check                              2>&1 |CT_DoLog ALL
    2.14 -
    2.15 -    find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
    2.16 +    if [ "${CT_KERNEL_LINUX_HEADERS_INSTALL_CHECK}" = "y" ]; then
    2.17 +        CT_DoLog EXTRA "Checking installed headers"
    2.18 +        make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
    2.19 +             O="`pwd`"                                  \
    2.20 +             ARCH=${CT_KERNEL_ARCH}                     \
    2.21 +             INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
    2.22 +             ${V_OPT}                                   \
    2.23 +             headers_check                              2>&1 |CT_DoLog ALL
    2.24 +        find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
    2.25 +    fi
    2.26  }
    2.27  
    2.28  # Install kernel headers from oldish Mazur's sanitised headers.