diff options
| author | Ralf Jung <post@ralfj.de> | 2025-05-22 08:41:18 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-05-22 10:09:19 +0200 |
| commit | b9e69959c6a7c26159d2b7f3be1e7c92d1f13452 (patch) | |
| tree | b35373a609a50c120ba7e26a1e4fa43df5114f72 /src/bootstrap/mk | |
| parent | 6eb1afa468832f01a042cd13e7f9f018e5857df3 (diff) | |
| download | rust-b9e69959c6a7c26159d2b7f3be1e7c92d1f13452.tar.gz rust-b9e69959c6a7c26159d2b7f3be1e7c92d1f13452.zip | |
run core and alloc tests with strict provenance
Diffstat (limited to 'src/bootstrap/mk')
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 7e0eb473fb3..1ef3e07acf0 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -54,7 +54,8 @@ check-aux: src/etc/test-float-parse \ $(BOOTSTRAP_ARGS) # Run standard library tests in Miri. - $(Q)$(BOOTSTRAP) miri --stage 2 \ + $(Q)MIRIFLAGS="-Zmiri-strict-provenance" \ + $(BOOTSTRAP) miri --stage 2 \ library/coretests \ library/alloctests \ library/alloc \ |