]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Upon successful run, remove temporary files.
authorFlorian Krohm <florian@eich-krohm.de>
Mon, 17 Sep 2012 21:20:06 +0000 (21:20 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Mon, 17 Sep 2012 21:20:06 +0000 (21:20 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12991

perf/vg_perf.in

index 2c34dc9916208fae58b796a27639900a94085628..5527b75b4f653388a518ea35f5b9f66799277887 100644 (file)
@@ -252,6 +252,12 @@ sub time_prog($$)
             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);
 }