1.1 --- a/scripts/build/kernel_linux.sh Sat Jun 16 21:44:45 2007 +0000
1.2 +++ b/scripts/build/kernel_linux.sh Fri Apr 18 08:41:30 2008 +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.