diff -r 22b5ef41df97 -r ade268f78fdc scripts/build/cc_core_gcc.sh
--- a/scripts/build/cc_core_gcc.sh	Sun May 27 20:22:06 2007 +0000
+++ b/scripts/build/cc_core_gcc.sh	Sat Jun 16 20:47:58 2007 +0000
@@ -2,6 +2,11 @@
 # Copyright 2007 Yann E. MORIN
 # Licensed under the GPL v2. See COPYING in the root of this package
 
+do_print_filename() {
+    [ "${CT_CC_CORE}" = "gcc" ] || return 0
+    echo "${CT_CC_CORE_FILE}"
+}
+
 # Download core gcc
 do_cc_core_get() {
     # Ah! gcc folks are kind of 'different': they store the tarballs in