about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--build.rs2
1 files changed, 2 insertions, 0 deletions
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();