Scale result to seconds

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);