fixed cargo-miri bug for windows users

diff --git a/src/bin/cargo-miri.rs b/src/bin/cargo-miri.rs
index 1f1705a49ac951afe692585f5567ff40445c994a..521ac8fa065cedbbcc8cd021d13cda5416140aa7 100644 (file)
--- a/src/bin/cargo-miri.rs
+++ b/src/bin/cargo-miri.rs
@@ -333,17 +333,11 @@ fn setup(ask_user: bool) {
         None => true,
         Some(target) => target == rustc_version::version_meta().unwrap().host,
     };
-    let mut sysroot = if is_host { dir.join("HOST") } else { PathBuf::from(dir) }; 
-    if cfg!(target_os = "windows") {
-        // Replace backslashes in path to slashes as they cause problems.
-        // Win10 Powershell can work with slashes in paths.
-        sysroot = PathBuf::from(
-            String::from(sysroot.to_str().unwrap()).replace("\\", "/")
-        );
-    }
+    let sysroot = if is_host { dir.join("HOST") } else { PathBuf::from(dir) }; 
+    
     std::env::set_var("MIRI_SYSROOT", &sysroot); // pass the env var to the processes we spawn, which will turn it into "--sysroot" flags
     if print_env {
-        println!("MIRI_SYSROOT={}", sysroot.display());
+        println!("MIRI_SYSROOT={:?}", &sysroot); // for Windows users, prints path with backslashes escaped.
     } else if !ask_user {
         println!("A libstd for Miri is now available in `{}`.", sysroot.display());
     }