diff options
| author | León Orell Valerian Liehr <me@fmease.dev> | 2025-07-13 07:21:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-13 07:21:24 +0200 |
| commit | 2cbd0bc27cc51d985ff625059bcb011976bcd048 (patch) | |
| tree | bfd2b691099a588daae73cab27fa59e52b8535f7 /src/tools | |
| parent | 886ad3a9477b58953d314d9ac44768c323ae5370 (diff) | |
| parent | b0e4c3594f4d52ffde5281bae752e5ff05bd029c (diff) | |
Rollup merge of #143822 - RalfJung:miri-ui-clean, r=jieyouxu
./x test miri: fix cleaning the miri_ui directory Fixes https://github.com/rust-lang/rust/issues/143680
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/ui.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/ui.rs b/src/tools/miri/tests/ui.rs index 5239f8338ee..43f855d57dd 100644 --- a/src/tools/miri/tests/ui.rs +++ b/src/tools/miri/tests/ui.rs @@ -97,6 +97,8 @@ fn miri_config( let mut config = Config { target: Some(target.to_owned()), program, + // When changing this, remember to also adjust the logic in bootstrap, in Miri's test step, + // that deletes the `miri_ui` dir when it needs a rebuild. out_dir: PathBuf::from(env!("CARGO_TARGET_TMPDIR")).join("miri_ui"), threads: std::env::var("MIRI_TEST_THREADS") .ok() |