Commite09bf56

committed

Auto merge of#3633 - RalfJung:target, r=RalfJung

fix './miri run --dep --target _'

2 parents331bb3f +cbec128 commite09bf56Copy full SHA for e09bf56

File tree

-1

lines changed

-1

lines changed

Lines changed: 7 additions & 1 deletion

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`	`+letmut 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`	`+ifletSome(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`	`};`

Comments

(0)