1.1 --- a/scripts/crosstool.sh	Sun Jan 04 14:21:00 2009 +0000
     1.2 +++ b/scripts/crosstool.sh	Sun Jan 04 14:25:58 2009 +0000
     1.3 @@ -85,8 +85,6 @@
     1.4  CT_CC_EXTRA_CONFIG="${CT_ARCH_CC_EXTRA_CONFIG} ${CT_CC_EXTRA_CONFIG}"
     1.5  
     1.6  # Now, build up the variables from the user-configured options.
     1.7 -CT_GMP_FILE="gmp-${CT_GMP_VERSION}"
     1.8 -CT_MPFR_FILE="mpfr-${CT_MPFR_VERSION}"
     1.9  CT_CC_FILE="${CT_CC}-${CT_CC_VERSION}"
    1.10  CT_LIBC_FILE="${CT_LIBC}-${CT_LIBC_VERSION}"
    1.11