diff --git a/python/dune/perftool/pdelab/driver/timings.py b/python/dune/perftool/pdelab/driver/timings.py index 5c43a67a1550749dd92776688940744d711d2731..d003c1c6226a243788fb0bf4e777bee7364538c2 100644 --- a/python/dune/perftool/pdelab/driver/timings.py +++ b/python/dune/perftool/pdelab/driver/timings.py @@ -56,10 +56,10 @@ def define_timing_stream(name): include_file('fstream', filetag='driver', system=True) include_file('sstream', filetag='driver', system=True) include_file('sys/types.h', filetag='driver', system=True) - include_file('unistd.h', filetag='driver', system=True) + include_file('chrono', filetag='driver', system=True) return ["std::stringstream ss;", - "ss << \"{}/timings-rank-\" << {}.rank() << \"-pid-\" << getpid() << \".csv\";".format(get_option('project_basedir'), name_mpihelper()), + "ss << \"{}/timings-rank-\" << {}.rank() << \"-\" << std::chrono::high_resolution_clock::now().time_since_epoch().count() << \".csv\";".format(get_option('project_basedir'), name_mpihelper()), "std::ofstream {};".format(name), "{}.open(ss.str(), std::ios_base::app);".format(name), ]