Skip to content

Commit 1c23cab

Browse files
committed
Test with -Zmiri-provenance-gc=1 on Linux
1 parent d29c20d commit 1c23cab

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ cat /tmp/toolstate/toolstates.json
2525
python3 "$X_PY" test --stage 2 check-tools
2626
python3 "$X_PY" test --stage 2 src/tools/clippy
2727
python3 "$X_PY" test --stage 2 src/tools/rustfmt
28-
python3 "$X_PY" test --stage 2 src/tools/miri
28+
MIRIFLAGS=-Zmiri-provenance-gc=1 python3 "$X_PY" test --stage 2 src/tools/miri
2929
# We natively run this script on x86_64-unknown-linux-gnu and x86_64-pc-windows-msvc.
3030
# Also cover some other targets via cross-testing, in particular all tier 1 targets.
3131
export BOOTSTRAP_SKIP_TARGET_SANITY=1 # we don't need `cc` for these targets

0 commit comments

Comments
 (0)