|
From: <sv...@va...> - 2012-09-17 21:16:58
|
florian 2012-09-17 22:20:06 +0100 (Mon, 17 Sep 2012)
New Revision: 12991
Log:
Upon successful run, remove temporary files.
Modified files:
trunk/perf/vg_perf.in
Modified: trunk/perf/vg_perf.in (+6 -0)
===================================================================
--- trunk/perf/vg_perf.in 2012-09-17 19:54:44 +01:00 (rev 12990)
+++ trunk/perf/vg_perf.in 2012-09-17 22:20:06 +01:00 (rev 12991)
@@ -252,6 +252,12 @@
die "\n*** missing usertime in perf.stderr\n";
$tmin = $1 if ($1 < $tmin);
}
+
+ # Successful run; cleanup
+ unlink("perf.cmd");
+ unlink("perf.stderr");
+ unlink("perf.stdout");
+
# Avoid divisions by zero!
return (0 == $tmin ? 0.01 : $tmin);
}
|