diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-08-20 05:08:35 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-08-20 05:08:35 +0000 |
| commit | bd9e7af0fa66bd81b14586d0e7084e1afdee8424 (patch) | |
| tree | 0afec8e5357bcdf55433a8f65c4a9f89dbaff4b3 /src/ci/docker/scripts | |
| parent | e5072f0e51fc9dcaf59e9902fdc11ef3cb1f6c67 (diff) | |
| parent | fdf61d499c8a8421ecf98e7924bb87caf43a9938 (diff) | |
| download | rust-bd9e7af0fa66bd81b14586d0e7084e1afdee8424.tar.gz rust-bd9e7af0fa66bd81b14586d0e7084e1afdee8424.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/crosstool-ng-git.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/scripts/crosstool-ng-git.sh b/src/ci/docker/scripts/crosstool-ng-git.sh index 2a10e262df8..e86810ae613 100644 --- a/src/ci/docker/scripts/crosstool-ng-git.sh +++ b/src/ci/docker/scripts/crosstool-ng-git.sh @@ -2,7 +2,7 @@ set -ex URL=https://github.com/crosstool-ng/crosstool-ng -REV=c64500d94be92ed1bcdfdef911048a14e216a5e1 +REV=ed12fa68402f58e171a6f79500f73f4781fdc9e5 mkdir crosstool-ng cd crosstool-ng |