Save detailed profiling data to a Python script.
Definition at line 45 of file Profiling.cc.
References PISM_CHK.