diff options
| author |   Bryan Hundven <bryanhundven@gmail.com> | 2015-11-12 01:18:27 (GMT) |
|---|---|---|
| committer | Bryan Hundven <bryanhundven@gmail.com> | 2015-11-12 01:19:51 (GMT) |
| commit | ad0d71d287c8c01e51fd2333ab512b15d821cff6 (patch) | |
| tree | 4f1cd0de693d9707421b4bb48ed3a759c076cda1 /scripts | |
| parent | 83403825ee654bcf214a9329d429bcf9603acad5 (diff) | |
mpfr: Swap primary mirror to gnu.org
mpfr.org has been less then reliable, so lets make gnu.org the primary
instead of the secondary source.
This closes #250
Signed-off-by: Bryan Hundven <bryanhundven@gmail.com>
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 |