changeset 193 | 1f3f3969d644 |
parent 161 | be4484f10ac7 |
child 199 | d799643901c3 |
1.1 --- a/scripts/build/kernel_linux.sh Sat Jun 16 18:08:14 2007 +0000 1.2 +++ b/scripts/build/kernel_linux.sh Mon Jul 02 17:47:55 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