From 5b1af13ea675d2de53435ecc86cefd45eca64fea Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Tue, 3 Jul 2007 22:16:42 +0000
Subject: Make checking the linux installed headers optional (instead of
 systematic).

---
 scripts/build/kernel_linux.sh | 19 ++++++++++---------
 1 file changed, 10 insertions(+), 9 deletions(-)

(limited to 'scripts')

diff --git a/scripts/build/kernel_linux.sh b/scripts/build/kernel_linux.sh
index 9c5341b3..a272b1f3 100644
--- a/scripts/build/kernel_linux.sh
+++ b/scripts/build/kernel_linux.sh
@@ -118,15 +118,16 @@ do_kernel_install() {
          ${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.
-- 
cgit v1.2.3