refine comment

Co-authored-by: Jakub Beránek <berykubik@gmail.com>
This commit is contained in:
Ralf Jung 2025-07-12 12:11:54 +02:00 committed by GitHub
parent 7fc21278ec
commit b703451b34
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1299,7 +1299,7 @@ tool_extended!(Miri {
tool_name: "miri",
stable: false,
add_bins_to_sysroot: ["miri"],
// Avoid costly rebuilds by always including the tests.
// Always compile also tests when building miri. Otherwise feature unification can cause rebuilds between building and testing miri.
cargo_args: &["--all-targets"],
});
tool_extended!(CargoMiri {