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

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

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`	`};`