diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-05 23:22:17 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-07 10:05:57 +0200 |
| commit | 1242093da21cbe940f51e224f0e9dae9c4adcd1e (patch) | |
| tree | a9835af9daddf4d4966abffcdc272c5139aca9eb /src/bootstrap | |
| parent | c0b564b767866a5485339efdc059353266471342 (diff) | |
also test parts of std
requires disabling some tests that do not work
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index e70391ff669..e8b8daa6389 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -57,11 +57,21 @@ check-aux: library/core \ library/alloc \ --no-doc + # Some doctests have intentional memory leaks. $(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" \ $(BOOTSTRAP) miri --stage 2 \ library/core \ library/alloc \ --doc + # In `std` we cannot test everything, so we test the most target-dependent modules. + $(Q)MIRIFLAGS="-Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \ + $(BOOTSTRAP) miri --stage 2 library/std \ + --no-doc -- \ + --skip fs:: --skip net:: --skip process:: --skip sys::pal:: + $(Q)MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-isolation" BOOTSTRAP_SKIP_TARGET_SANITY=1 \ + $(BOOTSTRAP) miri --stage 2 library/std \ + --doc -- \ + --skip fs:: --skip net:: --skip process:: --skip sys::pal:: dist: $(Q)$(BOOTSTRAP) dist $(BOOTSTRAP_ARGS) distcheck: |