diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-12 09:39:29 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-12 09:40:35 +0200 |
| commit | b0e4c3594f4d52ffde5281bae752e5ff05bd029c (patch) | |
| tree | 15b0aafc12e626761c4c8491044a91815694b056 /src/tools | |
| parent | 855e0fe46e68d94e9f6147531b75ac2d488c548e (diff) | |
./x test miri: fix cleaning the miri_ui directory
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() |