Upon successful run, remove temporary files.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12991 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/perf/vg_perf.in b/perf/vg_perf.in
index 2c34dc9..5527b75 100644
--- a/perf/vg_perf.in
+++ b/perf/vg_perf.in
@@ -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);
}