From ad0d71d287c8c01e51fd2333ab512b15d821cff6 Mon Sep 17 00:00:00 2001
From: Bryan Hundven <bryanhundven@gmail.com>
Date: Wed, 11 Nov 2015 17:18:27 -0800
Subject: 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>

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
-- 
cgit v0.10.2-6-g49f6