diff options
| author | bors <bors@rust-lang.org> | 2024-09-06 07:09:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-09-06 07:09:06 +0000 |
| commit | 72aa65beb3e689afcb7edfc28731ff2bc3a62dc5 (patch) | |
| tree | 317cec238c2cf1fec29b714ecc0bcb750ada253f | |
| parent | 0903724a9b839bb642ce537ababe6625e8887c4f (diff) | |
| parent | 2d6489ecc1c874a9ae0cfce4455d76c9c185fd80 (diff) | |
| download | rust-72aa65beb3e689afcb7edfc28731ff2bc3a62dc5.tar.gz rust-72aa65beb3e689afcb7edfc28731ff2bc3a62dc5.zip | |
Auto merge of #3864 - RalfJung:miri-bat-nightly, r=RalfJung
miri.bat: use nightly toolchain Hopefully fixes https://github.com/rust-lang/miri/issues/3863 (but I can't test that)
| -rw-r--r-- | src/tools/miri/miri.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/miri.bat b/src/tools/miri/miri.bat index 6f9a8f38d65..b046b6310dd 100644 --- a/src/tools/miri/miri.bat +++ b/src/tools/miri/miri.bat @@ -5,8 +5,8 @@ set MIRI_SCRIPT_TARGET_DIR=%0\..\miri-script\target :: If any other steps are added, the "|| exit /b" must be appended to early :: return from the script. If not, it will continue execution. -cargo +stable build %CARGO_EXTRA_FLAGS% -q --target-dir %MIRI_SCRIPT_TARGET_DIR% --manifest-path %0\..\miri-script\Cargo.toml ^ - || (echo Failed to build miri-script. Is the 'stable' toolchain installed? & exit /b) +cargo +nightly build %CARGO_EXTRA_FLAGS% -q --target-dir %MIRI_SCRIPT_TARGET_DIR% --manifest-path %0\..\miri-script\Cargo.toml ^ + || (echo Failed to build miri-script. Is the 'nightly' toolchain installed? & exit /b) :: Forwards all arguments to this file to the executable. :: We invoke the binary directly to avoid going through rustup, which would set some extra |