diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-01-13 11:42:02 +0000 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-01-13 11:42:02 +0000 |
| commit | cf22470de71180e54defc35e71edfd8558685fb4 (patch) | |
| tree | dd0dd5851f27ecdcf0246c3154f52968b6d766f4 | |
| parent | dbfbb29717dbaf94b3e83a30e4b9104241471dca (diff) | |
| download | rust-cf22470de71180e54defc35e71edfd8558685fb4.tar.gz rust-cf22470de71180e54defc35e71edfd8558685fb4.zip | |
Disable CG_CLIF_DISPLAY_CG_TIME by default
It is a lot of noise without much benefit
| -rw-r--r-- | build_system/mod.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/build_system/mod.rs b/build_system/mod.rs index 76d1d013b0d..1c25c515e6b 100644 --- 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() { |
