diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-07 21:45:31 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-07 21:45:31 (GMT) |
commit | 13e8e5c77306851b56744e24787b515c9b7bdbb7 (patch) | |
tree | 808f57922dc402b4382b6b4f16a850b85e43b036 /scripts | |
parent | ef65aeae8fb0760baac836a0de4501dfae6c7261 (diff) |
Simplify kernel config file need.
Don't build a default config file when not needed.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/build/kernel_linux.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/build/kernel_linux.sh b/scripts/build/kernel_linux.sh index 617740b..76052fa 100644 --- a/scripts/build/kernel_linux.sh +++ b/scripts/build/kernel_linux.sh @@ -27,8 +27,13 @@ do_kernel_extract() { do_kernel_check_config() { CT_DoStep INFO "Checking kernel configuration" - if [ "${CT_KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR}" != "y" \ - -a \( -z "${CT_KERNEL_LINUX_CONFIG_FILE}" -o ! -r "${CT_KERNEL_LINUX_CONFIG_FILE}" \) ]; then + # Only the copied or sanitised headers need a config file. + # Pre-existing headers as well as headers_install don't. + if [ "${CT_KERNEL_LINUX_NEEDS_CONFIG}" = "y" \ + -a \( -z "${CT_KERNEL_LINUX_CONFIG_FILE}" \ + -o ! -r "${CT_KERNEL_LINUX_CONFIG_FILE}" \ + \) \ + ]; then CT_DoLog WARN "You did not provide a kernel configuration file!" CT_DoLog WARN "I will try to generate one for you, but beware!" |