fix './miri run --dep --target _'

2026-06-01 22:18:23 +03:00 · 2024-05-26 16:35:14 +02:00
parent 331bb3f10d
commit cbec1288a2
1 changed files with 7 additions and 1 deletions
@@ -531,7 +531,13 @@ fn run(
            };
            cmd.set_quiet(!verbose);
            // Add Miri flags
-            let cmd = cmd.args(&miri_flags).args(&seed_flag).args(&early_flags).args(&flags);
+            let mut cmd = cmd.args(&miri_flags).args(&seed_flag).args(&early_flags).args(&flags);
+            // For `--dep` we also need to set the env var.
+            if dep {
+                if let Some(target) = &target {
+                    cmd = cmd.env("MIRI_TEST_TARGET", target);
+                }
+            }
            // And run the thing.
            Ok(cmd.run()?)
        };