diff options
| author | bors <bors@rust-lang.org> | 2022-11-27 12:45:34 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-11-27 12:45:34 +0000 |
| commit | 9f8df93b09f64269e41c29022e2f86ed1ea33349 (patch) | |
| tree | b935508624e59c0c9cd51a83cb50fa1105029b41 | |
| parent | 5a14c5af09b357d9f909b6b7d15f246b231970fd (diff) | |
| parent | c6587b0160b4e083dd70a2c1ecc1f79df00b35b3 (diff) | |
| download | rust-9f8df93b09f64269e41c29022e2f86ed1ea33349.tar.gz rust-9f8df93b09f64269e41c29022e2f86ed1ea33349.zip | |
Auto merge of #2701 - RalfJung:smoke, r=RalfJung
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 402b07df6cd..06342287501 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 } |