Skip to content

Commit dec0b01

Browse files
committed
Auto merge of #153437 - RalfJung:miri-libtest-unstable, r=<try>
coretest in miri: fix using unstable libtest features try-job: x86_64-gnu-aux
2 parents f8704be + de493e4 commit dec0b01

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

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)