diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-07 07:29:43 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-07 10:06:06 +0200 |
| commit | 596908bb9a05d92abe971e62b167d0a763b6d736 (patch) | |
| tree | c5eb9841be4361f2178ba368c61b0b50158e4bc6 | |
| parent | d0346c50bc8954503dcaa262c60ba03f0c0a2e33 (diff) | |
| download | rust-596908bb9a05d92abe971e62b167d0a763b6d736.tar.gz rust-596908bb9a05d92abe971e62b167d0a763b6d736.zip | |
also test core+alloc on a 32bit big-endian target
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 720f53cd3ef..d6e60d52d63 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -53,11 +53,15 @@ check-aux: src/tools/cargotest \ $(BOOTSTRAP_ARGS) # Run standard library tests in Miri. - $(Q)$(BOOTSTRAP) miri --stage 2 \ + # 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 \ |