diff options
| author | Ralf Jung <post@ralfj.de> | 2017-08-09 12:54:07 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-09 12:54:07 -0700 |
| commit | 65a31317a4f48aca99f73237a060be975f591663 (patch) | |
| tree | 3653909f2c09c783a349a431d6284465025be0e2 | |
| parent | e2de0b270900c5f4b5dea465d3b8a779f9683bc6 (diff) | |
| parent | e71af86259fa6d9a7044a9ca61e3249e4e1434f6 (diff) | |
| download | rust-65a31317a4f48aca99f73237a060be975f591663.tar.gz rust-65a31317a4f48aca99f73237a060be975f591663.zip | |
Merge pull request #295 from solson/oli-obk-patch-2
Don't rebuild miri even if nothing changed
| -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"); } |