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