diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-24 05:14:21 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-06-24 05:14:21 +0000 |
| commit | c660016cc1879d9714d134604856b5914f5d0aa0 (patch) | |
| tree | 475052c1564920a30d5c4612177eafb17e7b72de /src/ci/docker/scripts | |
| parent | 732e6876eac8dda8a54cedfd8376bd8176bc388b (diff) | |
| parent | 315be7d483bd4bad3e5541376ebf1d926c21f4f2 (diff) | |
| download | rust-c660016cc1879d9714d134604856b5914f5d0aa0.tar.gz rust-c660016cc1879d9714d134604856b5914f5d0aa0.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/crosstool-ng-git.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/ci/docker/scripts/crosstool-ng-git.sh b/src/ci/docker/scripts/crosstool-ng-git.sh new file mode 100644 index 00000000000..2a10e262df8 --- /dev/null +++ b/src/ci/docker/scripts/crosstool-ng-git.sh @@ -0,0 +1,17 @@ +#!/bin/sh +set -ex + +URL=https://github.com/crosstool-ng/crosstool-ng +REV=c64500d94be92ed1bcdfdef911048a14e216a5e1 + +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 |