From 391c81900ea6a409a80b963a22aa8e883d6d27a2 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 28 Dec 2025 13:26:01 +0100 Subject: [PATCH] fix running doctests in Miri --- src/bootstrap/mk/Makefile.in | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 03caa764ccf4..6bef58a0ac20 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -56,8 +56,7 @@ check-aux: # Run standard library tests in Miri. $(Q)MIRIFLAGS="-Zmiri-strict-provenance" \ $(BOOTSTRAP) miri --stage 2 \ - library/coretests \ - library/alloctests \ + library/core \ library/alloc \ $(BOOTSTRAP_ARGS) \ --no-doc @@ -65,8 +64,7 @@ check-aux: # so we have to run them with isolation disabled. $(Q)MIRIFLAGS="-Zmiri-disable-isolation" \ $(BOOTSTRAP) miri --stage 2 \ - library/coretests \ - library/alloctests \ + library/core \ library/alloc \ $(BOOTSTRAP_ARGS) \ --doc