diff -r f70e9b41339b -r 4e7562023f3e scripts/crosstool.sh
--- a/scripts/crosstool.sh	Sun Jan 04 14:21:00 2009 +0000
+++ b/scripts/crosstool.sh	Sun Jan 04 14:25:58 2009 +0000
@@ -85,8 +85,6 @@
 CT_CC_EXTRA_CONFIG="${CT_ARCH_CC_EXTRA_CONFIG} ${CT_CC_EXTRA_CONFIG}"
 
 # Now, build up the variables from the user-configured options.
-CT_GMP_FILE="gmp-${CT_GMP_VERSION}"
-CT_MPFR_FILE="mpfr-${CT_MPFR_VERSION}"
 CT_CC_FILE="${CT_CC}-${CT_CC_VERSION}"
 CT_LIBC_FILE="${CT_LIBC}-${CT_LIBC_VERSION}"