Disable CG_CLIF_DISPLAY_CG_TIME by default

It is a lot of noise without much benefit

diff --git a/build_system/mod.rs b/build_system/mod.rs
index 76d1d013b0dbca75cffe1b71e9014c19728c47fa..1c25c515e6b34d5437bfae9b3c52059adaf6a966 100644 (file)
--- a/build_system/mod.rs
+++ b/build_system/mod.rs
@@ -70,7 +70,6 @@ pub fn main() {
     if env::var("RUST_BACKTRACE").is_err() {
         env::set_var("RUST_BACKTRACE", "1");
     }
-    env::set_var("CG_CLIF_DISPLAY_CG_TIME", "1"); // FIXME disable this by default
     env::set_var("CG_CLIF_DISABLE_INCR_CACHE", "1");
 
     if is_ci() {