diff --git a/build.rs b/build.rs index 15d6c963ad2..37c626baab5 100644 --- a/build.rs +++ b/build.rs @@ -1,4 +1,6 @@ fn main() { + // Don't rebuild miri when nothing changed. + println!("cargo:rerun-if-changed=build.rs"); // Re-export the TARGET environment variable so it can // be accessed by miri. let target = std::env::var("TARGET").unwrap();