diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-03-29 05:02:09 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-03-29 05:02:09 +0000 |
| commit | ed29546a27db9fa024c6f99a7dd001e86d75e14f (patch) | |
| tree | a5635c4d1821e9114fe7cc27d00353f98cac5402 /src/ci/scripts | |
| parent | 29a59beaa6bc7841b12d6523bd638dbd6e7d0b01 (diff) | |
| parent | 5eb78c515c777c232c35b2e606bcec7cefe875af (diff) | |
| download | rust-ed29546a27db9fa024c6f99a7dd001e86d75e14f.tar.gz rust-ed29546a27db9fa024c6f99a7dd001e86d75e14f.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/install-ninja.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/scripts/install-ninja.sh b/src/ci/scripts/install-ninja.sh index 5145a03e353..23cbc2eb6d1 100755 --- a/src/ci/scripts/install-ninja.sh +++ b/src/ci/scripts/install-ninja.sh @@ -8,7 +8,7 @@ source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" if isWindows; then mkdir ninja - curl -o ninja.zip "${MIRRORS_BASE}/2017-03-15-ninja-win.zip" + curl -o ninja.zip "${MIRRORS_BASE}/2024-03-28-v1.11.1-ninja-win.zip" 7z x -oninja ninja.zip rm ninja.zip ciCommandSetEnv "RUST_CONFIGURE_ARGS" "${RUST_CONFIGURE_ARGS} --enable-ninja" |