diff options
| -rwxr-xr-x | src/tools/miri/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/ci.sh b/src/tools/miri/ci.sh index e528be8b037..8600091ece8 100755 --- a/src/tools/miri/ci.sh +++ b/src/tools/miri/ci.sh @@ -88,7 +88,7 @@ function run_tests_minimal { ./miri test -- "$@" # Ensure that a small smoke test of cargo-miri works. - cargo miri run --manifest-path test-cargo-miri/no-std-smoke/Cargo.toml + cargo miri run --manifest-path test-cargo-miri/no-std-smoke/Cargo.toml --target ${MIRI_TEST_TARGET-$HOST_TARGET} endgroup } |