| :: This makes execution of ./miri on Linux and Windows the same. | |
| :: Windows will not execute the bash script, and select this. | |
| @echo off | |
| 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) | |
| :: Forwards all arguments to this file to the executable. | |
| :: We invoke the binary directly to avoid going through rustup, which would set some extra | |
| :: env vars that we do not want. | |
| %MIRI_SCRIPT_TARGET_DIR%\debug\miri-script %* |