2017-09-18 12:47:33 +02:00
|
|
|
fn main() {
|
2018-05-13 10:11:52 +02:00
|
|
|
// Forward the profile to the main compilation
|
2018-09-06 08:19:47 +02:00
|
|
|
println!("cargo:rustc-env=PROFILE={}", std::env::var("PROFILE").unwrap());
|
2018-05-13 10:11:52 +02:00
|
|
|
// Don't rebuild even if nothing changed
|
|
|
|
println!("cargo:rerun-if-changed=build.rs");
|
2022-11-21 22:55:14 +01:00
|
|
|
rustc_tools_util::setup_version_info!();
|
2018-05-13 10:11:52 +02:00
|
|
|
}
|