add a comment

This commit is contained in:
Ralf Jung 2024-05-30 10:23:54 +02:00 committed by GitHub
parent a963103898
commit 00644c12ed
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,3 +1,5 @@
fn main() {
// Make sure we detect all crates from this workspace as "local".
// The env var is set during the "build" so we can use `env!` to access it directly.
println!("{}", env!("MIRI_LOCAL_CRATES"));
}