Skip to content

Commit de493e4

Browse files
committed
coretest in miri: fix using unstable libtest features
1 parent f8704be commit de493e4

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/bootstrap/mk/Makefile.in

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,8 @@ check-aux:
5959
build-std \
6060
$(BOOTSTRAP_ARGS)
6161
# Run standard library tests in Miri.
62-
$(Q)MIRIFLAGS="-Zmiri-strict-provenance" \
62+
# We have to forward RUSTC_BOOTSTRAP so that libtest accepts the unstable args bootstrap sets.
63+
$(Q)MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-env-forward=RUSTC_BOOTSTRAP" \
6364
$(BOOTSTRAP) miri --stage 2 \
6465
library/core \
6566
library/alloc \

0 commit comments

Comments
 (0)