diff -r 7dab8d1a2426 -r c77d59891a0d scripts/build/kernel_linux.sh --- a/scripts/build/kernel_linux.sh Mon May 07 15:57:02 2007 +0000 +++ b/scripts/build/kernel_linux.sh Mon May 07 21:45:31 2007 +0000 @@ -27,8 +27,13 @@ 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!"