diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-03 22:16:42 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-03 22:16:42 (GMT) |
commit | 5b1af13ea675d2de53435ecc86cefd45eca64fea (patch) | |
tree | 6c9e48b6b55c50ac9e5d2c5da9a9cd089d6c2ae2 | |
parent | 439940ab2e27f917b84668f9b65af880ae5e41fd (diff) |
Make checking the linux installed headers optional (instead of systematic).
-rw-r--r-- | config/kernel_linux_headers_install.in | 8 | ||||
-rw-r--r-- | scripts/build/kernel_linux.sh | 19 |
2 files changed, 18 insertions, 9 deletions
diff --git a/config/kernel_linux_headers_install.in b/config/kernel_linux_headers_install.in index 7db770d..c0a4131 100644 --- a/config/kernel_linux_headers_install.in +++ b/config/kernel_linux_headers_install.in @@ -150,3 +150,11 @@ config KERNEL_VERSION 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 --git a/scripts/build/kernel_linux.sh b/scripts/build/kernel_linux.sh index 9c5341b..a272b1f 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. |