Merge pull request rust-lang#295 from solson/oli-obk-patch-2

RalfJung · web-flow · commit 65a31317a4f4 · 2017-08-09T12:54:07.000-07:00
Don't rebuild miri even if nothing changed
diff --git 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");
 }

Original file line number	Diff line number	Diff line change
`@@ -3,4 +3,6 @@ use std::env;`
`3`	`3`	`fn main() {`
`4`	`4`	`// Forward the profile to the main compilation`
`5`	`5`	`println!("cargo:rustc-env=PROFILE={}", env::var("PROFILE").unwrap());`
	`6`	`+ // Don't rebuild miri even if nothing changed`
	`7`	`+ println!("cargo:rerun-if-changed=build.rs");`
`6`	`8`	`}`