scripts/build/kernel_linux.sh
changeset 66 c77d59891a0d
parent 64 7dab8d1a2426
child 70 fa53b961cf44
     1.1 --- a/scripts/build/kernel_linux.sh	Mon May 07 15:57:02 2007 +0000
     1.2 +++ b/scripts/build/kernel_linux.sh	Mon May 07 21:45:31 2007 +0000
     1.3 @@ -27,8 +27,13 @@
     1.4  do_kernel_check_config() {
     1.5      CT_DoStep INFO "Checking kernel configuration"
     1.6  
     1.7 -    if [    "${CT_KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR}" != "y" \
     1.8 -         -a \( -z "${CT_KERNEL_LINUX_CONFIG_FILE}" -o ! -r "${CT_KERNEL_LINUX_CONFIG_FILE}" \) ]; then
     1.9 +    # Only the copied or sanitised headers need a config file.
    1.10 +    # Pre-existing headers as well as headers_install don't.
    1.11 +    if [ "${CT_KERNEL_LINUX_NEEDS_CONFIG}" = "y"        \
    1.12 +         -a \( -z "${CT_KERNEL_LINUX_CONFIG_FILE}"      \
    1.13 +               -o ! -r "${CT_KERNEL_LINUX_CONFIG_FILE}" \
    1.14 +            \)                                          \
    1.15 +       ]; then
    1.16          CT_DoLog WARN "You did not provide a kernel configuration file!"
    1.17          CT_DoLog WARN "I will try to generate one for you, but beware!"
    1.18