changeset 23385:50c715e38836

BenchmarkCounters: only print header and footer if DynamicCountersHumanReadable is enabled.
author Josef Eisl <josef.eisl@jku.at>
date Wed, 03 Feb 2016 16:51:05 +0100
parents 40a929274cca
children f20070e9f5a4
files graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/debug/BenchmarkCounters.java
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);
         }