Skip to content

Commit a9c0271

Browse files
authored
Rollup merge of #143822 - RalfJung:miri-ui-clean, r=jieyouxu
./x test miri: fix cleaning the miri_ui directory Fixes rust-lang/rust#143680
2 parents 5943cd1 + d6a8e47 commit a9c0271

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

tests/ui.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,8 @@ fn miri_config(
9797
let mut config = Config {
9898
target: Some(target.to_owned()),
9999
program,
100+
// When changing this, remember to also adjust the logic in bootstrap, in Miri's test step,
101+
// that deletes the `miri_ui` dir when it needs a rebuild.
100102
out_dir: PathBuf::from(env!("CARGO_TARGET_TMPDIR")).join("miri_ui"),
101103
threads: std::env::var("MIRI_TEST_THREADS")
102104
.ok()

0 commit comments

Comments
 (0)