diff options
| author | Charlie Gettys <Charlie.Gettys@microsoft.com> | 2024-06-27 16:30:33 -0700 |
|---|---|---|
| committer | Charlie Gettys <Charlie.Gettys@microsoft.com> | 2024-06-27 16:30:33 -0700 |
| commit | e7e35d7d78544ae030d043209cfe25315fb4cfbd (patch) | |
| tree | d5dc8dbca0ab613b52b62ae91798740a68506fb5 /src | |
| parent | 5ae2b372b4407deb5d6125766a581d3820df2b1d (diff) | |
| download | rust-e7e35d7d78544ae030d043209cfe25315fb4cfbd.tar.gz rust-e7e35d7d78544ae030d043209cfe25315fb4cfbd.zip | |
Switch to the explicit parens version
Diffstat (limited to 'src')
| -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 92566e00967..6f9a8f38d65 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 |