mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 12:57:53 +00:00
c0c6db07fe
Add well-known HTTP mirror as a fallback. This lets crosstool-ng work when behind a HTTP/HTTPS only proxy. Signed-off-by: Michael Hope <michaelh@juju.net.nz> [me: split original patch in two] Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Message-Id: <aeb4a850d0786ee62dc2.1375559989@wanda> Patchwork-Id: 264436 |
||
---|---|---|
.. | ||
100-gmp.sh | ||
110-mpfr.sh | ||
120-ppl.sh | ||
121-isl.sh | ||
130-cloog.sh | ||
140-mpc.sh | ||
200-libelf.sh |