no need to set the cargo-miri feature twice

RalfJung · RalfJung · commit d67da9f04bf2 · 2018-12-19T11:12:56.000+01:00
diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
@@ -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")

Original file line number	Diff line number	Diff line change
`@@ -420,8 +420,6 @@ where`
`420`	`420`	`args.push("--".to_owned());`
`421`	`421`	`}`
`422`	`422`	`args.push("--emit=dep-info,metadata".to_owned());`
`423`		`- args.push("--cfg".to_owned());`
`424`		`- args.push(r#"feature="cargo-miri""#.to_owned());`
`425`	`423`
`426`	`424`	`let path = std::env::current_exe().expect("current executable path invalid");`
`427`	`425`	`let exit_status = Command::new("cargo")`