diff options
| author | Ralf Jung <post@ralfj.de> | 2022-11-27 13:26:31 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-11-27 13:26:31 +0100 |
| commit | c6587b0160b4e083dd70a2c1ecc1f79df00b35b3 (patch) | |
| tree | 976be1ff02ff72db65d7b60c93e54b44b0bb7b8e | |
| parent | 144b4859ad2c9fcee453f3a1000357e20ecad535 (diff) | |
| download | rust-c6587b0160b4e083dd70a2c1ecc1f79df00b35b3.tar.gz rust-c6587b0160b4e083dd70a2c1ecc1f79df00b35b3.zip | |
run_tests_minimal: actually run the smoke test on the desired target
| -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 } |