diff -r 45ddf096def1 -r fb71cad4b085 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 Jan 10 00:27:13 2013 +0100
@@ -7,10 +7,6 @@
     CT_TARGET_KERNEL=
 }
 
-do_print_filename() {
-    :
-}
-
 do_kernel_get() {
     :
 }