diff options
| author | Oliver Schneider <oli-obk@users.noreply.github.com> | 2017-08-09 18:05:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-09 18:05:34 +0200 |
| commit | 4ce60abd84f0458bb011f38774670acf06a44f4c (patch) | |
| tree | f1fa7446f61d328aa5592222218dee9fb8f593a4 | |
| parent | a6096fbfba1042d1f4ad3b7c7144692d1286f71a (diff) | |
| download | rust-4ce60abd84f0458bb011f38774670acf06a44f4c.tar.gz rust-4ce60abd84f0458bb011f38774670acf06a44f4c.zip | |
Update build.rs
| -rw-r--r-- | build.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build.rs b/build.rs index 86ccf3cda1a..2f74f7f4f61 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"); } |