diff options
| author | bors <bors@rust-lang.org> | 2022-10-31 09:14:30 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-31 09:14:30 +0000 |
| commit | 02c5dedb605e8177bf6b72aea7cd994d33f3b768 (patch) | |
| tree | 1b4eaee3b8e796b40d3b0fbb8dfee91ac8b1b169 /src | |
| parent | 21669d2a00af5f41e28ee12f50d8302e2717ab20 (diff) | |
| parent | a1cd27906c04ea1331c921f0c115135128aadc55 (diff) | |
Auto merge of #2642 - Rageking8:followup-for-pr-2640, r=RalfJung
Followup for pr 2640 r? `@RalfJung`
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/cargo-miri/src/phases.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/cargo-miri/src/phases.rs b/src/tools/miri/cargo-miri/src/phases.rs index 2c84165a0f0..df36041c75e 100644 --- a/src/tools/miri/cargo-miri/src/phases.rs +++ b/src/tools/miri/cargo-miri/src/phases.rs @@ -528,7 +528,7 @@ pub fn phase_runner(mut binary_args: impl Iterator<Item = String>, phase: Runner cmd.args(binary_args); // Make sure we use the build-time working directory for interpreting Miri/rustc arguments. - // But then we need to switch to the run-time one, which we instruct Miri do by setting `MIRI_CWD`. + // But then we need to switch to the run-time one, which we instruct Miri to do by setting `MIRI_CWD`. cmd.current_dir(info.current_dir); cmd.env("MIRI_CWD", env::current_dir().unwrap()); |
