From 11bb6ebce42be7ddeaa9aa42ce575823c784dd90 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Thu, 27 Apr 2017 15:47:11 +0200
Subject: [PATCH] Scale result to seconds

---
 dune/perftool/common/timer_tsc.hh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/dune/perftool/common/timer_tsc.hh b/dune/perftool/common/timer_tsc.hh
index 65ee08e4..a893fdae 100644
--- a/dune/perftool/common/timer_tsc.hh
+++ b/dune/perftool/common/timer_tsc.hh
@@ -79,12 +79,12 @@
 
 #define DUMP_TIMER(name,os,reset)\
   if (HP_TIMER_DURATION(name) > 1e-12) \
-    os << ident << " " << #name << " time " << HP_TIMER_DURATION(name) << std::endl; \
+    os << ident << " " << #name << " time " << Dune::PDELab::TSC::seconds(HP_TIMER_DURATION(name)) << std::endl; \
   HP_TIMER_OPCOUNTERS(name).reportOperations(os,ident,#name,reset);
 
 #define DUMP_AND_ACCUMULATE_TIMER(name,os,reset,time,ops)  \
   if (HP_TIMER_DURATION(name) > 1e-12) \
-    os << ident << " " << #name << " time " << HP_TIMER_DURATION(name) << std::endl; \
+    os << ident << " " << #name << " time " << Dune::PDELab::TSC::seconds(HP_TIMER_DURATION(name)) << std::endl; \
   time += HP_TIMER_DURATION(name); \
   ops += HP_TIMER_OPCOUNTERS(name); \
   HP_TIMER_OPCOUNTERS(name).reportOperations(os,ident,#name,reset);
@@ -93,12 +93,12 @@
 
 #define DUMP_TIMER(name,os,reset)                       \
   if (HP_TIMER_DURATION(name) > 1e-12) \
-    os << ident << " " << #name << " time " << HP_TIMER_DURATION(name) << std::endl; \
+    os << ident << " " << #name << " time " << Dune::PDELab::TSC::seconds(HP_TIMER_DURATION(name)) << std::endl; \
   if (reset) HP_TIMER_RESET(name);
 
 #define DUMP_AND_ACCUMULATE_TIMER(name,os,reset,time,ops)  \
   if (HP_TIMER_DURATION(name) > 1e-12) \
-    os << ident << " " << #name << " time " << HP_TIMER_DURATION(name) << std::endl; \
+    os << ident << " " << #name << " time " << Dune::PDELab::TSC::seconds(HP_TIMER_DURATION(name)) << std::endl; \
   time += HP_TIMER_DURATION(name); \
   if (reset) HP_TIMER_RESET(name);
 
-- 
GitLab