diff options
| author | Charlie Gettys <Charlie.Gettys@microsoft.com> | 2024-06-27 13:00:37 -0700 |
|---|---|---|
| committer | Charlie Gettys <Charlie.Gettys@microsoft.com> | 2024-06-27 13:00:37 -0700 |
| commit | 5ae2b372b4407deb5d6125766a581d3820df2b1d (patch) | |
| tree | abd5ac38df04290061c73fdbf6485175cff7abbd | |
| parent | b280af45f430d1efc85d7e4fcc4933d4ec9f94b2 (diff) | |
| download | rust-5ae2b372b4407deb5d6125766a581d3820df2b1d.tar.gz rust-5ae2b372b4407deb5d6125766a581d3820df2b1d.zip | |
Fix miri.bat
| -rw-r--r-- | src/tools/miri/miri.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/miri.bat b/src/tools/miri/miri.bat index 98b59a56a0d..92566e00967 100644 --- a/src/tools/miri/miri.bat +++ b/src/tools/miri/miri.bat @@ -6,7 +6,7 @@ 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 + || echo Failed to build miri-script. Is the 'stable' 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 |