Rollup merge of #126064 - GuillaumeGomez:migrate-run-make-manual-crat… · RalfJung/miri@db63789 · GitHub

Commit

Rollup merge of #126064 - GuillaumeGomez:migrate-run-make-manual-crat…

Browse files

…e-name, r=jieyouxu

Migrate `run-make/manual-crate-name` to `rmake.rs`

Part of rust-lang/rust#121876.

r? ``@jieyouxu``

Loading branch information

workingjubilee committed Jun 6, 2024

2 parents e6386dc + e69aeae commit db63789