1 files changed, 7 insertions, 2 deletions
diff --git a/utils/timing_stats.cc b/utils/timing_stats.cc
index fc8e9df1..dc90bf53 100644
--- a/utils/timing_stats.cc
+++ b/utils/timing_stats.cc
@@ -2,6 +2,9 @@
 
 #include <iostream>
 #include "time.h" //cygwin needs
+
+#include "verbose.h"
+
 using namespace std;
 
 map<string, TimerInfo> Timer::stats;
@@ -16,8 +19,10 @@ Timer::~Timer() {
 }
 
 void Timer::Summarize() {
-  for (map<string, TimerInfo>::iterator it = stats.begin(); it != stats.end(); ++it) {
-    cerr << it->first << ": " << it->second.total_time << " secs (" << it->second.calls << " calls)\n";
+  if (!SILENT) {
+    for (map<string, TimerInfo>::iterator it = stats.begin(); it != stats.end(); ++it) {
+      cerr << it->first << ": " << it->second.total_time << " secs (" << it->second.calls << " calls)\n";
+    }
   }
   stats.clear();
 }