diff -r 45ddf096def1 -r a52574521bea 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	Thu Aug 18 16:05:48 2011 +0200
@@ -7,10 +7,6 @@
     CT_TARGET_KERNEL=
 }
 
-do_print_filename() {
-    :
-}
-
 do_kernel_get() {
     :
 }