Remove target detection

Author: Aaron1011

src/bin/cargo-miri.rs

@@ -518,16 +518,6 @@ fn in_cargo_miri() {
             _ => continue,
         }
 
-        let target = match get_arg_flag_value("--target") {
-            Some(target) => target,
-            None => {
-                let target = host_triple();
-                cmd.arg("--target").arg(&target);
-                target
-            }
-        };
-
-
         // Add user-defined args until first `--`.
         while let Some(arg) = args.next() {
             if arg == "--" {
@@ -537,8 +527,6 @@ fn in_cargo_miri() {
         }
 
         let args_vec: Vec<String> = args.collect();
-        cmd.env("MIRI_MAGIC_TARGET", target.clone());
-        //cmd.env("MIRI_MAGIC_DIR", root_dir.clone());
         cmd.env("MIRI_MAGIC_ARGS", serde_json::to_string(&args_vec).expect("failed to serialize args"));
 
         // Add `--` (to end the `cargo` flags), and then the user flags. We add markers around the