diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-04-05 22:33:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-05 22:33:27 +0200 |
| commit | 8a6f9a1bcf714405f7f1d655e6e79c6570ad64db (patch) | |
| tree | 880d8c4ad9d13b304667326699f9dc03a0ba10a8 /src | |
| parent | 5ceac29123215e7bdd8d50672747e9e1d3da06e5 (diff) | |
| parent | 8cfd1990b9e7485849a826d041ec70ad13224f24 (diff) | |
| download | rust-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.rs | 7 |
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. |
