# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1183501002 0
# Node ID d799643901c38125086e2e19e0742a225b2c7b3a
# Parent  47272dc0b12a744da30e36e5ff12133d30073316
Make checking the linux installed headers optional (instead of systematic).

diff -r 47272dc0b12a -r d799643901c3 config/kernel_linux_headers_install.in
--- a/config/kernel_linux_headers_install.in	Tue Jul 03 22:05:00 2007 +0000
+++ b/config/kernel_linux_headers_install.in	Tue Jul 03 22:16:42 2007 +0000
@@ -150,3 +150,11 @@
     default "2.6.21.5" if KERNEL_INSTALL_V_2_6_21_5
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
+
+config KERNEL_LINUX_HEADERS_INSTALL_CHECK
+    bool
+    prompt "Check installed headers"
+    default n
+    help
+      If you are in doubt that installed headers are buggy, say 'Y'
+      here to have an extra check passed onto the headers.
diff -r 47272dc0b12a -r d799643901c3 scripts/build/kernel_linux.sh
--- a/scripts/build/kernel_linux.sh	Tue Jul 03 22:05:00 2007 +0000
+++ b/scripts/build/kernel_linux.sh	Tue Jul 03 22:16:42 2007 +0000
@@ -118,15 +118,16 @@
          ${V_OPT}                                   \
          headers_install                            2>&1 |CT_DoLog ALL
 
-    CT_DoLog EXTRA "Checking installed headers"
-    make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
-         O="`pwd`"                                  \
-         ARCH=${CT_KERNEL_ARCH}                     \
-         INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
-         ${V_OPT}                                   \
-         headers_check                              2>&1 |CT_DoLog ALL
-
-    find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
+    if [ "${CT_KERNEL_LINUX_HEADERS_INSTALL_CHECK}" = "y" ]; then
+        CT_DoLog EXTRA "Checking installed headers"
+        make -C "${CT_SRC_DIR}/${CT_KERNEL_FILE}"       \
+             O="`pwd`"                                  \
+             ARCH=${CT_KERNEL_ARCH}                     \
+             INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"   \
+             ${V_OPT}                                   \
+             headers_check                              2>&1 |CT_DoLog ALL
+        find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \;
+    fi
 }
 
 # Install kernel headers from oldish Mazur's sanitised headers.