diff --git a/build.rs b/build.rs index 86ccf3cda1ab..2f74f7f4f616 100644 --- a/build.rs +++ b/build.rs @@ -3,4 +3,6 @@ use std::env; fn main() { // Forward the profile to the main compilation println!("cargo:rustc-env=PROFILE={}", env::var("PROFILE").unwrap()); + // Don't rebuild miri even if nothing changed + println!("cargo:rerun-if-changed=build.rs"); }