Skip to content

Commit 2f2e129

Browse files
committed
Auto merge of #3417 - RalfJung:RUSTC_WORKSPACE_WRAPPER, r=RalfJung
we have to ignore RUSTC_WORKSPACE_WRAPPER as well This matches what we do with RUSTC_WRAPPER.
2 parents c941fcd + f6b0144 commit 2f2e129

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

cargo-miri/src/phases.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -179,6 +179,13 @@ pub fn phase_cargo_miri(mut args: impl Iterator<Item = String>) {
179179
);
180180
}
181181
cmd.env("RUSTC_WRAPPER", &cargo_miri_path);
182+
// There's also RUSTC_WORKSPACE_WRAPPER, which gets in the way of our own wrapping.
183+
if env::var_os("RUSTC_WORKSPACE_WRAPPER").is_some() {
184+
println!(
185+
"WARNING: Ignoring `RUSTC_WORKSPACE_WRAPPER` environment variable, Miri does not support wrapping."
186+
);
187+
}
188+
cmd.env_remove("RUSTC_WORKSPACE_WRAPPER");
182189
// We are going to invoke `MIRI` for everything, not `RUSTC`.
183190
if env::var_os("RUSTC").is_some() && env::var_os("MIRI").is_none() {
184191
println!(

0 commit comments

Comments
 (0)