about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2023-08-22 08:48:39 +0200
committerRalf Jung <post@ralfj.de>2023-08-22 08:54:51 +0200
commit28de139d3545ec7e98dcb0e56349c0d5af0c3909 (patch)
tree96bdb28beb6d9aab6d40204fee7ff48a4c25854c
parent32aa40538e473f58e504a09331c8a23a939ae88a (diff)
downloadrust-28de139d3545ec7e98dcb0e56349c0d5af0c3909.tar.gz
rust-28de139d3545ec7e98dcb0e56349c0d5af0c3909.zip
bootstrap/miri: respect config_locked_deps
-rw-r--r--src/bootstrap/test.rs7
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"));