Michael Hope c0c6db07fe complibs/isl: add HTTP mirror ...

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

2013-08-01 20:24:35 +00:00

..

build

complibs/isl: add HTTP mirror

2013-08-01 20:24:35 +00:00

addToolVersion.sh

scripts: handle gcc 4.7 and 4.8 in addToolsVersion.sh

2013-05-03 17:12:15 +00:00

config.guess

scripts: update config.{guess,sub}

2013-01-09 18:52:00 +01:00

config.sub

scripts: update config.{guess,sub}

2013-01-09 18:52:00 +01:00

crosstool-NG.sh.in

scripts: fix finishing the toolchain when download/extract-only is set

2013-01-28 21:53:18 +01:00

functions

scripts: help debugging missing directories

2013-05-05 18:34:20 +02:00

gen_in_frags.sh

config: move multi-line shell commands from Makefile to script

2011-07-03 23:02:16 +02:00

install-sh

configure: use autoconf to generate configure

2011-11-07 22:28:40 +01:00

mk-patch.sh

scripts/mk-patch: squash all non alphanumeric chars

2011-04-08 00:58:33 +02:00

mk-release.sh

scripts: fix mk-release

2012-05-08 22:30:05 +02:00

patch-renumber.sh

scripts: fix tools override

2012-01-16 23:36:42 +01:00

patch-rework.sh

misc: fix more typos here and there...

2011-07-17 16:53:40 +02:00

populate.in

Allow multi-word "install" command.

2012-04-26 19:55:59 -06:00

saveSample.sh.in

samples: use savedefconfig when saving samples

2012-05-07 00:27:05 +02:00

scripts.mk

scripts: some eye-candy

2009-10-30 20:08:44 +01:00

showSamples.sh

scripts/showSample: also print the threading implementation

2012-08-01 22:02:26 +02:00

showTuple.sh.in

scripts/showTuple: fix stdout

2013-01-06 12:08:33 +01:00

toolchain-config.in

scripts: simplify and fix the toolchain config script

2011-08-19 00:52:05 +02:00

xldd.in

scripts/xldd: use user's sed and grep

2012-12-05 20:31:43 +01:00