Get rid of CT_GMP_FILE and CT_MPFR_FILE.
/trunk/scripts/build/gmp.sh | 32 16 16 0 ++++++++++++++++----------------
/trunk/scripts/build/mpfr.sh | 38 19 19 0 +++++++++++++++++++-------------------
/trunk/scripts/crosstool.sh | 2 0 2 0 --
3 files changed, 35 insertions(+), 37 deletions(-)
1 menu "Tools facilities"
2 source config.gen/tools.in