diff options
| author | Ralf Jung <post@ralfj.de> | 2023-09-30 23:29:17 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-09-30 23:29:17 +0200 |
| commit | 9a86bba8310595bc5ae3369a23dca3eddf3141b7 (patch) | |
| tree | 026895155c4ae8c52ce226e03e6980d6199815ed /src/ci/docker/scripts | |
| parent | d62833861500038cdceb3259fece79d9a9b67e9f (diff) | |
| parent | bb6c66be3793ac5c738eeac91ecdc4b99388d0b4 (diff) | |
| download | rust-9a86bba8310595bc5ae3369a23dca3eddf3141b7.tar.gz rust-9a86bba8310595bc5ae3369a23dca3eddf3141b7.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/crosstool-ng-git.sh | 17 | ||||
| -rw-r--r-- | src/ci/docker/scripts/crosstool-ng.sh | 2 |
2 files changed, 1 insertions, 18 deletions
diff --git a/src/ci/docker/scripts/crosstool-ng-git.sh b/src/ci/docker/scripts/crosstool-ng-git.sh deleted file mode 100644 index b8d39915327..00000000000 --- a/src/ci/docker/scripts/crosstool-ng-git.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -set -ex - -URL=https://github.com/crosstool-ng/crosstool-ng -REV=227d99d7f3115f3a078595a580d2b307dcd23e93 - -mkdir crosstool-ng -cd crosstool-ng -git init -git fetch --depth=1 ${URL} ${REV} -git reset --hard FETCH_HEAD -./bootstrap -./configure --prefix=/usr/local -make -j$(nproc) -make install -cd .. -rm -rf crosstool-ng diff --git a/src/ci/docker/scripts/crosstool-ng.sh b/src/ci/docker/scripts/crosstool-ng.sh index a28d7bde2ac..c3ee19b8d2c 100644 --- a/src/ci/docker/scripts/crosstool-ng.sh +++ b/src/ci/docker/scripts/crosstool-ng.sh @@ -1,7 +1,7 @@ #!/bin/sh set -ex -CT_NG=1.25.0 +CT_NG=1.26.0 url="https://github.com/crosstool-ng/crosstool-ng/archive/crosstool-ng-$CT_NG.tar.gz" curl -Lf $url | tar xzf - |