miri: add -Zbinary-dep-depinfo to dependency builds

This commit is contained in:
Ralf Jung 2025-12-11 18:51:58 +01:00
parent d196db781e
commit 13d9d6559f

View file

@ -173,6 +173,10 @@ impl TestContext {
p.envs.push(("RUSTC_SNAPSHOT".into(), Some(rustc.into())));
p.envs.push(("RUSTC_SNAPSHOT_LIBDIR".into(), Some(libdir.into())));
p.envs.push(("RUSTC_SYSROOT".into(), Some(sysroot.into())));
// Ensure we rebuild the dependencies when the sysroot changes.
// (Bootstrap usually sets this automatically, but since we invoke cargo
// ourselves we have to do it.)
p.args.push("-Zbinary-dep-depinfo".into());
}
p
},