Auto merge of #3633 - RalfJung:target, r=RalfJung · rust-lang/rust@e09bf56 (original) (raw)

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -531,7 +531,13 @@ impl Command {
531 531 };
532 532 cmd.set_quiet(!verbose);
533 533 // Add Miri flags
534 -let cmd = cmd.args(&miri_flags).args(&seed_flag).args(&early_flags).args(&flags);
534 +let mut cmd = cmd.args(&miri_flags).args(&seed_flag).args(&early_flags).args(&flags);
535 +// For `--dep` we also need to set the env var.
536 +if dep {
537 +if let Some(target) = &target {
538 + cmd = cmd.env("MIRI_TEST_TARGET", target);
539 +}
540 +}
535 541 // And run the thing.
536 542 Ok(cmd.run()?)
537 543 };