diff -r 7f414d045a37 -r c72aecd1a9ef scripts/build/gmp.sh
--- a/scripts/build/gmp.sh	Mon Jul 14 21:21:35 2008 +0000
+++ b/scripts/build/gmp.sh	Sat Jan 03 21:11:41 2009 +0000
@@ -2,7 +2,6 @@
 # Copyright 2008 Yann E. MORIN
 # Licensed under the GPL v2. See COPYING in the root of this package
 
-do_print_filename() { :; }
 do_gmp_get() { :; }
 do_gmp_extract() { :; }
 do_gmp() { :; }
@@ -11,11 +10,6 @@
 # Overide functions depending on configuration
 if [ "${CT_GMP_MPFR}" = "y" ]; then
 
-do_print_filename() {
-    [ "${CT_GMP_MPFR}" = "y" ] || return 0
-    echo "gmp-${CT_GMP_VERSION}"
-}
-
 # Download GMP
 do_gmp_get() {
     CT_GetFile "${CT_GMP_FILE}" {ftp,http}://{ftp.sunet.se/pub,ftp.gnu.org}/gnu/gmp