commit 7ac82602c5f32e8c84f13a70a0637128539c8a7e
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Sep 17 21:20:06 2012 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Sep 17 21:20:06 2012 +0000
tree e01d6f11ec1a67ec77577dd17b46dc5d85e7e7f8
parent d9867dc45a761832fda12ac807d4acf015afbaac

Upon successful run, remove temporary files.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12991 a5019735-40e9-0310-863c-91ae7b9d1cf9

perf/vg_perf.in

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);
 }