From d39b683053a8c8fb654331cceb783674182c4252 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 27 Aug 2022 16:08:05 -0400
Subject: [PATCH] dont rerun build script unnecessarily

---
 build.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.rs b/build.rs
index 15d6c963ad..37c626baab 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();