Skip to content

Commit e7e35d7

Browse files
Switch to the explicit parens version
1 parent 5ae2b37 commit e7e35d7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/tools/miri/miri.bat

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ set MIRI_SCRIPT_TARGET_DIR=%0\..\miri-script\target
66
:: If any other steps are added, the "|| exit /b" must be appended to early
77
:: return from the script. If not, it will continue execution.
88
cargo +stable build %CARGO_EXTRA_FLAGS% -q --target-dir %MIRI_SCRIPT_TARGET_DIR% --manifest-path %0\..\miri-script\Cargo.toml ^
9-
|| echo Failed to build miri-script. Is the 'stable' toolchain installed? && exit /b
9+
|| (echo Failed to build miri-script. Is the 'stable' toolchain installed? & exit /b)
1010

1111
:: Forwards all arguments to this file to the executable.
1212
:: We invoke the binary directly to avoid going through rustup, which would set some extra

0 commit comments

Comments
 (0)