diff options
Diffstat (limited to 'scripts/build/kernel_linux.sh')
| -rw-r--r-- | scripts/build/kernel_linux.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/build/kernel_linux.sh b/scripts/build/kernel_linux.sh index f779505d..9c5341b3 100644 --- a/scripts/build/kernel_linux.sh +++ b/scripts/build/kernel_linux.sh @@ -4,7 +4,10 @@ do_print_filename() { [ "${CT_KERNEL}" = "linux" ] || return 0 - echo "${CT_KERNEL_FILE}" + case "${CT_KERNEL_LINUX_HEADERS_SANITISED}" in + y) echo "linux-libc-headers-${CT_KERNEL_VERSION}";; + *) echo "linux-${CT_KERNEL_VERSION}";; + esac } # Download the kernel |