From 4ce60abd84f0458bb011f38774670acf06a44f4c Mon Sep 17 00:00:00 2001
From: Oliver Schneider <oli-obk@users.noreply.github.com>
Date: Wed, 9 Aug 2017 18:05:34 +0200
Subject: [PATCH] Update build.rs

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

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");
 }