diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-30 17:58:34 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-30 17:58:34 +0100 |
| commit | 9f6c675238b97c2db41b734dc5e420248ca8055a (patch) | |
| tree | 23616de6bbb0f6a8088270dc05f62c7f249b6da5 /src | |
| parent | f04352a7dd010c0c37c835cd1b72c402460dffe3 (diff) | |
| download | rust-9f6c675238b97c2db41b734dc5e420248ca8055a.tar.gz rust-9f6c675238b97c2db41b734dc5e420248ca8055a.zip | |
run GC stress test only for host tests
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/miri/ci/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/ci/ci.sh b/src/tools/miri/ci/ci.sh index 54c5d3087fd..6d3f0f10992 100755 --- a/src/tools/miri/ci/ci.sh +++ b/src/tools/miri/ci/ci.sh @@ -46,8 +46,8 @@ function run_tests { fi ## ui test suite - # On the host and on Linux, also stress-test the GC. - if [ -z "${MIRI_TEST_TARGET:-}" ] || [ "$HOST_TARGET" = x86_64-unknown-linux-gnu ]; then + # On the host, also stress-test the GC. + if [ -z "${MIRI_TEST_TARGET:-}" ]; then MIRIFLAGS="${MIRIFLAGS:-} -Zmiri-provenance-gc=1" ./miri test else ./miri test |