feat: remove log on success

Signed-off-by: Lars Wirzenius <liw@liw.fi>

1 files changed, 6 insertions, 1 deletions

diff --git a/wumpus-hunter b/wumpus-hunter
index 34eb5b7..862dde0 100755
--- a/wumpus-hunter
+++ b/wumpus-hunter
@@ -159,6 +159,10 @@ def record(filename, commit, result):
         f.write(f"{commit} {result}\n")
 
 
+def remove_log(log):
+    os.remove(log)
+
+
 def rename_log(log, dirname, commit):
     commit_dir = os.path.join(dirname, f"log-{commit}")
     if not os.path.exists(commit_dir):
@@ -200,10 +204,11 @@ def main():
         build(args.dir)
         run_tests(args.dir, args.test)
         record_success(args.stats, commit)
+        remove_log(args.log)
     except Exception as e:
         logging.error(f"{e}", exc_info=True)
         record_failure(args.stats, commit)
-    rename_log(args.log, args.run_log, commit)
+        rename_log(args.log, args.run_log, commit)
 
     if args.counts:
         count(args.counts, args.stats)