Skip to content

Commit c6f5b5f

Browse files
committed
MIRIFLAGS are already passed in the ./miri wrapper
1 parent 48fe0df commit c6f5b5f

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

src/tools/miri/tests/compiletest.rs

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -277,11 +277,6 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res
277277
config.program.args.clear(); // We want to give the user full control over flags
278278
config.build_dependencies_and_link_them()?;
279279

280-
if let Ok(extra_flags) = env::var("MIRIFLAGS") {
281-
for flag in extra_flags.split_whitespace() {
282-
config.program.args.push(flag.into());
283-
}
284-
}
285280
let mut cmd = config.program.build(&config.out_dir);
286281

287282
cmd.arg(path);

0 commit comments

Comments
 (0)