diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/companion_libs/110-mpfr.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/companion_libs/110-mpfr.sh b/scripts/build/companion_libs/110-mpfr.sh index 2fb03aa..bef2283 100644 --- a/scripts/build/companion_libs/110-mpfr.sh +++ b/scripts/build/companion_libs/110-mpfr.sh @@ -13,8 +13,8 @@ if [ "${CT_MPFR}" = "y" ]; then # Download MPFR do_mpfr_get() { CT_GetFile "mpfr-${CT_MPFR_VERSION}" \ - http://www.mpfr.org/mpfr-${CT_MPFR_VERSION} \ - {http,ftp,https}://ftp.gnu.org/gnu/mpfr + {https,http,ftp}://ftp.gnu.org/gnu/mpfr \ + http://www.mpfr.org/mpfr-${CT_MPFR_VERSION} } # Extract MPFR |