# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1454514665 -3600
# Node ID 50c715e3883614ccc5d173cef4a7d95c63a1ed34
# Parent  40a929274cca0a03b712d60d6ea95c47d9d329d3
BenchmarkCounters: only print header and footer if DynamicCountersHumanReadable is enabled.

diff -r 40a929274cca -r 50c715e38836 graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/debug/BenchmarkCounters.java
--- a/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/debug/BenchmarkCounters.java	Thu Feb 04 11:29:54 2016 +0100
+++ b/graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/debug/BenchmarkCounters.java	Wed Feb 03 16:51:05 2016 +0100
@@ -166,7 +166,9 @@
 
     private static synchronized void dump(PrintStream out, double seconds, long[] counters, int maxRows) {
         if (!counterMap.isEmpty()) {
-            out.println("====== dynamic counters (" + counterMap.size() + " in total) ======");
+            if (Options.DynamicCountersHumanReadable.getValue()) {
+                out.println("====== dynamic counters (" + counterMap.size() + " in total) ======");
+            }
             TreeSet<String> set = new TreeSet<>();
             counterMap.forEach((nameGroup, counter) -> set.add(counter.group));
             for (String group : set) {
@@ -179,7 +181,9 @@
                     }
                 }
             }
-            out.println("============================");
+            if (Options.DynamicCountersHumanReadable.getValue()) {
+                out.println("============================");
+            }
 
             clear(counters);
         }