diff -r 45ddf096def1 -r e17f35b05539 scripts/build/kernel/bare-metal.sh
--- a/scripts/build/kernel/bare-metal.sh	Thu Oct 23 13:45:48 2008 +0000
+++ b/scripts/build/kernel/bare-metal.sh	Sun Jul 17 16:54:50 2011 +0200
@@ -7,10 +7,6 @@
     CT_TARGET_KERNEL=
 }
 
-do_print_filename() {
-    :
-}
-
 do_kernel_get() {
     :
 }