about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2024-04-05 22:33:27 +0200
committerGitHub <noreply@github.com>2024-04-05 22:33:27 +0200
commit8a6f9a1bcf714405f7f1d655e6e79c6570ad64db (patch)
tree880d8c4ad9d13b304667326699f9dc03a0ba10a8 /src
parent5ceac29123215e7bdd8d50672747e9e1d3da06e5 (diff)
parent8cfd1990b9e7485849a826d041ec70ad13224f24 (diff)
downloadrust-8a6f9a1bcf714405f7f1d655e6e79c6570ad64db.tar.gz
rust-8a6f9a1bcf714405f7f1d655e6e79c6570ad64db.zip
Rollup merge of #123500 - belovdv:remove-miri-jobserver-fixme, r=RalfJung,oli-obk
Revert removing miri jobserver workaround

Reverts #123469.

r? ``@ghost``
Diffstat (limited to 'src')
-rw-r--r--src/tools/miri/cargo-miri/src/phases.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs
index efa3fb0c77d..3f6c484a057 100644
--- a/src/tools/miri/cargo-miri/src/phases.rs
+++ b/src/tools/miri/cargo-miri/src/phases.rs
@@ -558,6 +558,13 @@ pub fn phase_runner(mut binary_args: impl Iterator<Item = String>, phase: Runner
     // Set missing env vars. We prefer build-time env vars over run-time ones; see
     // <https://github.com/rust-lang/miri/issues/1661> for the kind of issue that fixes.
     for (name, val) in info.env {
+        // `CARGO_MAKEFLAGS` contains information about how to reach the jobserver, but by the time
+        // the program is being run, that jobserver no longer exists (cargo only runs the jobserver
+        // for the build portion of `cargo run`/`cargo test`). Hence we shouldn't forward this.
+        // Also see <https://github.com/rust-lang/rust/pull/113730>.
+        if name == "CARGO_MAKEFLAGS" {
+            continue;
+        }
         if let Some(old_val) = env::var_os(&name) {
             if old_val == val {
                 // This one did not actually change, no need to re-set it.