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