diff -r 68af6b83ff7e -r c72aecd1a9ef scripts/build/tools/000-template.sh
--- a/scripts/build/tools/000-template.sh	Fri Oct 10 14:30:44 2008 +0000
+++ b/scripts/build/tools/000-template.sh	Sat Jan 03 21:11:41 2009 +0000
@@ -1,16 +1,5 @@
 # Template file for a tool utility
 
-# Small function to print the filename
-# Note that this function gets redefined over and over again for each tool.
-# It's of no use when building the toolchain proper, but shows all its
-# usefullness when saving the toolchain and building the tarball.
-# Echo the name of the file, without the extension, below.
-do_print_filename() {
-    # For example:
-    # echo "foobar-${CT_FOOBAR_VERSION}"
-    :
-}
-
 # Put your download code here
 do_tools_foobar_get() {
     # For example: