diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-06-16 21:44:45 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-06-16 21:44:45 (GMT) |
| commit | d8bc11b1653185bc826680243cc32b87a6451df2 (patch) | |
| tree | c08e59bfde4dd8c19a3992c6b8e238994805eab4 /scripts/build/kernel_linux.sh | |
| parent | eefa05172a5d1c06b2674c47663e5be85e234aee (diff) | |
Fix printing components' file names.
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 f779505..9c5341b 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 |