6 // Forward the profile to the main compilation
7 println!("cargo:rustc-env=PROFILE={}", env::var("PROFILE").unwrap());
8 // Don't rebuild miri even if nothing changed
9 println!("cargo:rerun-if-changed=build.rs");
11 vergen::generate_cargo_keys(vergen::ConstantsFlags::all())
12 .expect("Unable to generate vergen keys!");