Alternative download paths for RSB?

[Sebastian Huber]

Hello,

it seems the GNU web server is down:

download: https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2 -> 
sources/mpfr-3.1.4.tar.bz2
download: https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2: error: 
<urlopen error [Errno 101] Network is unreachable>
error: downloading https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2: all 
paths have failed, giving up
Build FAILED
error: downloading https://ftp.gnu.org/gnu/mpfr/mpfr-3.1.4.tar.bz2: all 
paths have failed, giving up
Build Set: Time 0:04:23.318509
Build FAILED

The error message suggests that it is possible to add alternative 
download sources. How can I do this? This didn't work:

diff --git a/source-builder/config/gcc-9.cfg 
b/source-builder/config/gcc-9.cfg
index f8cf69b..1d7c716 100644
--- a/source-builder/config/gcc-9.cfg
+++ b/source-builder/config/gcc-9.cfg
@@ -21,4 +21,8 @@
  %source set gmp https://ftp.gnu.org/gnu/gmp/gmp-%{gmp_version}.tar.bz2
  %source set mpfr https://ftp.gnu.org/gnu/mpfr/mpfr-%{mpfr_version}.tar.bz2

+%source set mpc 
https://ftp.mpi-inf.mpg.de/pub/mirrors/gnu/mirror/gcc.gnu.org/pub/gcc/infrastructure/mpc-%{mpc_version}.tar.gz
+%source set gmp 
https://ftp.mpi-inf.mpg.de/pub/mirrors/gnu/mirror/gcc.gnu.org/pub/gcc/infrastructure/gmp-%{gmp_version}.tar.bz2
+%source set mpfr 
https://ftp.mpi-inf.mpg.de/pub/mirrors/gnu/mirror/gcc.gnu.org/pub/gcc/infrastructure/mpfr-%{mpfr_version}.tar.bz2
+
  %include %{_configdir}/gcc-common-1.cfg

-- 
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/