1.1 --- a/scripts/build/kernel_linux.sh	Sat Jun 16 21:44:45 2007 +0000
     1.2 +++ b/scripts/build/kernel_linux.sh	Sat Jul 28 21:34:41 2007 +0000
     1.3 @@ -118,15 +118,16 @@
     1.4           ${V_OPT}                                   \
     1.5           headers_install                            2>&1 |CT_DoLog ALL
     1.6  
     1.7 -    CT_DoLog EXTRA "Checking installed headers"
     1.8 -    make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
     1.9 -         O="`pwd`"                                  \
    1.10 -         ARCH=${CT_KERNEL_ARCH}                     \
    1.11 -         INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
    1.12 -         ${V_OPT}                                   \
    1.13 -         headers_check                              2>&1 |CT_DoLog ALL
    1.14 -
    1.15 -    find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
    1.16 +    if [ "${CT_KERNEL_LINUX_HEADERS_INSTALL_CHECK}" = "y" ]; then
    1.17 +        CT_DoLog EXTRA "Checking installed headers"
    1.18 +        make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
    1.19 +             O="`pwd`"                                  \
    1.20 +             ARCH=${CT_KERNEL_ARCH}                     \
    1.21 +             INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
    1.22 +             ${V_OPT}                                   \
    1.23 +             headers_check                              2>&1 |CT_DoLog ALL
    1.24 +        find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
    1.25 +    fi
    1.26  }
    1.27  
    1.28  # Install kernel headers from oldish Mazur's sanitised headers.