fix running doctests in Miri

2026-05-28 20:16:58 +03:00 · 2025-12-28 13:26:01 +01:00
parent 23d01cd241
commit 391c81900e
1 changed files with 2 additions and 4 deletions
@@ -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