Output GC time only when requested

- remove double output of GC time

Signed-off-by: Stefan Marr <git@stefan-marr.de>

Author: smarr

src/vm/Print.cpp

@@ -41,9 +41,6 @@ __attribute__((noreturn)) __attribute__((noinline)) void ErrorExit(
 }
 
 __attribute__((noreturn)) __attribute__((noinline)) void Quit(int32_t err) {
-    ErrorPrint("Time spent in GC: [" +
-               to_string(Timer::GCTimer.GetTotalTime()) + "] msec\n");
-
     Universe::Shutdown();
 
     OutputAllocationLogFile();

src/vm/Universe.cpp

@@ -93,8 +93,11 @@ void Universe::BasicInit() {
 }
 
 void Universe::Shutdown() {
-    ErrorPrint("Time spent in GC: [" +
-               to_string(Timer::GCTimer.GetTotalTime()) + "] msec\n");
+    if (gcVerbosity > 0) {
+        ErrorPrint("Time spent in GC: [" +
+                   to_string(Timer::GCTimer.GetTotalTime()) + "] msec\n");
+    }
+
 #ifdef GENERATE_INTEGER_HISTOGRAM
     std::string file_name_hist = std::string(bm_name);
     file_name_hist.append("_integer_histogram.csv");