diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-22 08:48:39 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-22 08:54:51 +0200 |
| commit | 28de139d3545ec7e98dcb0e56349c0d5af0c3909 (patch) | |
| tree | 96bdb28beb6d9aab6d40204fee7ff48a4c25854c | |
| parent | 32aa40538e473f58e504a09331c8a23a939ae88a (diff) | |
| download | rust-28de139d3545ec7e98dcb0e56349c0d5af0c3909.tar.gz rust-28de139d3545ec7e98dcb0e56349c0d5af0c3909.zip | |
bootstrap/miri: respect config_locked_deps
| -rw-r--r-- | src/bootstrap/test.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/bootstrap/test.rs b/src/bootstrap/test.rs index d0d62db0807..db3b7ffbea4 100644 --- a/src/bootstrap/test.rs +++ b/src/bootstrap/test.rs @@ -630,6 +630,10 @@ impl Step for Miri { cargo.env("MIRI_SYSROOT", &miri_sysroot); cargo.env("MIRI_HOST_SYSROOT", sysroot); cargo.env("MIRI", &miri); + if builder.config.locked_deps { + // enforce lockfiles + cargo.env("CARGO_EXTRA_FLAGS", "--locked"); + } // Set the target. cargo.env("MIRI_TEST_TARGET", target.rustc_target_arg()); @@ -675,6 +679,9 @@ impl Step for Miri { ); cargo.add_rustc_lib_path(builder, compiler); cargo.arg("--").arg("miri").arg("test"); + if builder.config.locked_deps { + cargo.arg("--locked"); + } cargo .arg("--manifest-path") .arg(builder.src.join("src/tools/miri/test-cargo-miri/Cargo.toml")); |
