1.1 --- a/scripts/build/kernel_linux.sh	Sat Jun 16 18:08:14 2007 +0000
     1.2 +++ b/scripts/build/kernel_linux.sh	Sun Jul 01 19:04:20 2007 +0000
     1.3 @@ -4,7 +4,10 @@
     1.4  
     1.5  do_print_filename() {
     1.6      [ "${CT_KERNEL}" = "linux" ] || return 0
     1.7 -    echo "${CT_KERNEL_FILE}"
     1.8 +    case "${CT_KERNEL_LINUX_HEADERS_SANITISED}" in
     1.9 +        y)  echo "linux-libc-headers-${CT_KERNEL_VERSION}";;
    1.10 +        *)  echo "linux-${CT_KERNEL_VERSION}";;
    1.11 +    esac
    1.12  }
    1.13  
    1.14  # Download the kernel