Update build.rs

2017-08-09 18:05:34 +02:00 · 2017-08-09 18:05:34 +02:00 · 4ce60abd84
commit 4ce60abd84
parent a6096fbfba
1 changed files with 2 additions and 0 deletions
--- 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");
 }