diff -r aa1a9fbd6eb8 -r be4484f10ac7 scripts/build/kernel_linux.sh
--- a/scripts/build/kernel_linux.sh	Thu May 17 16:22:51 2007 +0000
+++ b/scripts/build/kernel_linux.sh	Sat Jun 16 18:08:14 2007 +0000
@@ -2,6 +2,11 @@
 # Copyright 2007 Yann E. MORIN
 # Licensed under the GPL v2. See COPYING in the root of this package
 
+do_print_filename() {
+    [ "${CT_KERNEL}" = "linux" ] || return 0
+    echo "${CT_KERNEL_FILE}"
+}
+
 # Download the kernel
 do_kernel_get() {
     if [ "${CT_KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR}" != "y" ]; then