mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

MIRIFLAGS are already passed in the ./miri wrapper

Browse Source
This commit is contained in:
Oli Scherer 2023-07-07 13:42:38 +00:00
parent 48fe0dfe48
commit c6f5b5f557
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/tools/miri/tests/compiletest.rs
View File

@ -277,11 +277,6 @@ fn run_dep_mode(target: String, mut args: impl Iterator<Item = OsString>) -> Res
config.program.args.clear(); // We want to give the user full control over flags
config.build_dependencies_and_link_them()?;
if let Ok(extra_flags) = env::var("MIRIFLAGS") {
for flag in extra_flags.split_whitespace() {
config.program.args.push(flag.into());
}
}
let mut cmd = config.program.build(&config.out_dir);
cmd.arg(path);