From d8bc11b1653185bc826680243cc32b87a6451df2 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Sat, 16 Jun 2007 21:44:45 +0000
Subject: Fix printing components' file names.

---
 scripts/build/kernel_linux.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'scripts/build/kernel_linux.sh')

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
-- 
cgit v1.2.3