scripts/crosstool.sh
changeset 1116 46f6f7f9f37d
parent 1098 035f231898cc
child 1117 f70e9b41339b
     1.1 --- a/scripts/crosstool.sh	Thu Dec 11 18:21:18 2008 +0000
     1.2 +++ b/scripts/crosstool.sh	Sun Jan 04 14:18:20 2009 +0000
     1.3 @@ -85,7 +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_KERNEL_FILE="${CT_KERNEL}-${CT_KERNEL_VERSION}"
     1.8  CT_BINUTILS_FILE="binutils-${CT_BINUTILS_VERSION}"
     1.9  CT_GMP_FILE="gmp-${CT_GMP_VERSION}"
    1.10  CT_MPFR_FILE="mpfr-${CT_MPFR_VERSION}"