From bf0653ea8eacd74626629e3b2c8c6c6d966c6c27 Mon Sep 17 00:00:00 2001
From: kennytm <kennytm@gmail.com>
Date: Thu, 14 Dec 2017 01:21:33 +0800
Subject: [PATCH] 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.
---
 src/ci/docker/scripts/crosstool-ng.sh | 9 +++++----
 1 file 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