Cleanup the bench results after the last run.

diff --git a/bench b/bench
index 228e13db285851e8ddf0b10f68a0ed2abc6b2bc8..94b2fca3cfea3f6aa9d897c66603e329a5c37cb0 100755 (executable)
--- a/bench
+++ b/bench
@@ -162,7 +162,7 @@ fi
 trap "_cleanup; exit \$status" 0 1 2 3 15
 
 _require_scratch
-rm -f bench.*
+rm -f bench.* results.*
 
 # $OUT is the report which will ultimately be sent, keep it tidy.
 cat >$OUT <<EOF