run_tests_minimal: actually run the smoke test on the desired target

This commit is contained in:
Ralf Jung 2022-11-27 13:26:31 +01:00
parent 144b4859ad
commit c6587b0160

View File

@ -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
}