diff -r 45ddf096def1 -r 1c56c03b7ed5 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	Fri Nov 16 15:25:57 2012 +0100
@@ -7,10 +7,6 @@
     CT_TARGET_KERNEL=
 }
 
-do_print_filename() {
-    :
-}
-
 do_kernel_get() {
     :
 }