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