diff options
| author | kennytm <kennytm@gmail.com> | 2017-12-14 01:21:33 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2017-12-14 04:50:13 +0800 |
| commit | bf0653ea8eacd74626629e3b2c8c6c6d966c6c27 (patch) | |
| tree | da54dae2a0a31ff4755af9e4505ff5f456c762fc /src/ci/docker/scripts | |
| parent | 3dfbc88a626625be01e112da11ec367e2fc71bb3 (diff) | |
| download | rust-bf0653ea8eacd74626629e3b2c8c6c6d966c6c27.tar.gz rust-bf0653ea8eacd74626629e3b2c8c6c6d966c6c27.zip | |
Download the crosstool from GitHub instead of crosstool-ng.org
Temporary workaround since crosstool-ng.org was down. Consider mirroring the release tarball as a more permanent solution.
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/crosstool-ng.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/ci/docker/scripts/crosstool-ng.sh b/src/ci/docker/scripts/crosstool-ng.sh index 79a5bc3bb4a..4cd25ffa277 100644 --- a/src/ci/docker/scripts/crosstool-ng.sh +++ b/src/ci/docker/scripts/crosstool-ng.sh @@ -10,11 +10,12 @@ set -ex -url="http://crosstool-ng.org/download/crosstool-ng/crosstool-ng-1.22.0.tar.bz2" -curl -f $url | tar xjf - -cd crosstool-ng +url="https://github.com/crosstool-ng/crosstool-ng/archive/crosstool-ng-1.22.0.tar.gz" +curl -Lf $url | tar xzf - +cd crosstool-ng-crosstool-ng-1.22.0 +./bootstrap ./configure --prefix=/usr/local make -j$(nproc) make install cd .. -rm -rf crosstool-ng +rm -rf crosstool-ng-crosstool-ng-1.22.0 |