Auto merge of #126542 - GuillaumeGomez:migrate-run-make-duplicate-out… · rust-lang/miri@de3f552 · GitHub

Commit

Auto merge of #126542 - GuillaumeGomez:migrate-run-make-duplicate-out…

Browse files

…put-flavors, r=Kobzol

Migrate `run-make/duplicate-output-flavors` to `rmake.rs`

Part of rust-lang/rust#121876.

r? `@jieyouxu`

Loading branch information

bors committed Jun 16, 2024

2 parents 1d6d9b3 + 2d342b7 commit de3f552