Follow-up to reviews from RalfJung

[rust.git] / build.rs

diff --git a/build.rs b/build.rs
index 86ccf3cda1ab5879b9747d2446b3fef2b5f82fc9..97bb9358832c43ae708196a937d797f987a9fcc7 100644 (file)
--- a/build.rs
+++ b/build.rs
@@ -1,6 +1,13 @@
+extern crate vergen;
+
 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");
+    // vergen
+    vergen::generate_cargo_keys(vergen::ConstantsFlags::all())
+        .expect("Unable to generate vergen keys!");
 }