Skip to content

Commit

Permalink
miri core/alloc tests: do not test a 2nd target
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Apr 26, 2024
1 parent 5ff8fbb commit babead5
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/bootstrap/mk/Makefile.in
Original file line number Diff line number Diff line change
Expand Up @@ -53,15 +53,12 @@ check-aux:
src/tools/cargotest \
$(BOOTSTRAP_ARGS)
# Run standard library tests in Miri.
# We use a 64bit little-endian and a 32bit big-endian target for max coverage.
$(Q)BOOTSTRAP_SKIP_TARGET_SANITY=1 \
$(BOOTSTRAP) miri --stage 2 \
--target x86_64-unknown-linux-gnu,mips-unknown-linux-gnu \
library/core \
library/alloc \
--no-doc
# Some doctests have intentional memory leaks.
# Also, they work only on the host.
$(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" \
$(BOOTSTRAP) miri --stage 2 \
library/core \
Expand Down

0 comments on commit babead5

Please sign in to comment.