Skip to content

Commit

Permalink
no need to set the cargo-miri feature twice
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Dec 19, 2018
1 parent e10a26f commit d67da9f
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions src/bin/cargo-miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -420,8 +420,6 @@ where
args.push("--".to_owned());
}
args.push("--emit=dep-info,metadata".to_owned());
args.push("--cfg".to_owned());
args.push(r#"feature="cargo-miri""#.to_owned());

let path = std::env::current_exe().expect("current executable path invalid");
let exit_status = Command::new("cargo")
Expand Down

0 comments on commit d67da9f

Please sign in to comment.