fix './miri run --dep --target _' · rust-lang/rust@cbec128 (original) (raw)
File tree
1 file changed
lines changed
- src/tools/miri/miri-script/src
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 | }; |