dont rerun build script unnecessarily

2022-08-27 16:08:05 -04:00 · 2022-08-27 16:08:05 -04:00 · d39b683053
commit d39b683053
parent bb8212484f
1 changed files with 2 additions and 0 deletions
--- 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();