about summary refs log tree commit diff
diff options
context:
space:
mode:
authorasquared31415 <34665709+asquared31415@users.noreply.github.com>2024-11-25 23:59:17 -0500
committerasquared31415 <34665709+asquared31415@users.noreply.github.com>2024-11-25 23:59:17 -0500
commita05e53b68956f3b183d52e0ba4a46e0fce929a61 (patch)
tree18b0ac43ef08977e089855409a8722514ffbdaa1
parentd12594570aa81a2156098a7c49a16968293afb5d (diff)
downloadrust-a05e53b68956f3b183d52e0ba4a46e0fce929a61.tar.gz
rust-a05e53b68956f3b183d52e0ba4a46e0fce929a61.zip
attempt to fix miri failing to create file when under weird powershell configurations
-rw-r--r--src/tools/miri/cargo-miri/src/phases.rs13
1 files changed, 8 insertions, 5 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs
index f1f76fd338c..7ca4f414c20 100644
--- a/src/tools/miri/cargo-miri/src/phases.rs
+++ b/src/tools/miri/cargo-miri/src/phases.rs
@@ -348,14 +348,17 @@ pub fn phase_rustc(mut args: impl Iterator<Item = String>, phase: RustcPhase) {
             // Create a stub .d file to stop Cargo from "rebuilding" the crate:
             // https://github.com/rust-lang/miri/issues/1724#issuecomment-787115693
             // As we store a JSON file instead of building the crate here, an empty file is fine.
-            let dep_info_name = format!(
-                "{}/{}{}.d",
-                get_arg_flag_value("--out-dir").unwrap(),
+            let mut dep_info_name = PathBuf::from(get_arg_flag_value("--out-dir").unwrap());
+            dep_info_name.push(format!(
+                "{}{}.d",
                 get_arg_flag_value("--crate-name").unwrap(),
                 get_arg_flag_value("extra-filename").unwrap_or_default(),
-            );
+            ));
             if verbose > 0 {
-                eprintln!("[cargo-miri rustc] writing stub dep-info to `{dep_info_name}`");
+                eprintln!(
+                    "[cargo-miri rustc] writing stub dep-info to `{}`",
+                    dep_info_name.display()
+                );
             }
             File::create(dep_info_name).expect("failed to create fake .d file");
         }