Disable CG_CLIF_DISPLAY_CG_TIME by default

bjorn3 · bjorn3 · commit cf22470de711 · 2023-01-13T11:42:02.000Z
It is a lot of noise without much benefit
diff --git 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() {

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,6 @@ pub fn main() {`
`70`	`70`	`if env::var("RUST_BACKTRACE").is_err() {`
`71`	`71`	`env::set_var("RUST_BACKTRACE", "1");`
`72`	`72`	`}`
`73`		`- env::set_var("CG_CLIF_DISPLAY_CG_TIME", "1"); // FIXME disable this by default`
`74`	`73`	`env::set_var("CG_CLIF_DISABLE_INCR_CACHE", "1");`
`75`	`74`
`76`	`75`	`if is_ci() {`