Merge branch 'master' of https://github.com/wwu-numerik/dune-stuff into dune-testtools

dune/stuff/common/profiler.cc

@@ -151,6 +151,16 @@ TimingData::DeltaType Profiler::getTimingIdx(const std::string section_name, con
     return timer_it->second.second->delta();
   }
   return section->second;
+}
+
+void Profiler::stopAll()
+{
+  for (auto&& section : known_timers_map_) {
+    try {
+      stopTiming(section.first);
+    } catch (Dune::RangeError) {
+    }
+  }
 } // GetTiming
 
 void Profiler::reset(const size_t numRuns)

dune/stuff/common/profiler.hh

@@ -84,6 +84,8 @@ private:
   TimingData::DeltaType getTimingIdx(const std::string section_name, const size_t run_number) const;
 
 public:
+  void stopAll();
+
   //! set this to begin a named section
   void startTiming(const std::string section_name);