1.1 --- a/scripts/build/mpfr.sh	Wed Apr 30 16:38:06 2008 +0000
     1.2 +++ b/scripts/build/mpfr.sh	Mon May 19 21:41:19 2008 +0000
     1.3 @@ -11,7 +11,8 @@
     1.4  
     1.5  # Download MPFR
     1.6  do_mpfr_get() {
     1.7 -    CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/
     1.8 +    CT_GetFile "${CT_MPFR_FILE}" http://www.mpfr.org/mpfr-current/          \
     1.9 +                                 http://www.mpfr.org/mpfr-${CT_MPFR_VERSION}/
    1.10  }
    1.11  
    1.12  # Extract MPFR