retry: Delete cover_db if defined

This prevents failing and passing re-runs from being merged. Using force and verbose flags to ensure this is logged when it happens.
os-autoinst · Oct 12, 2021 · af2e608 · af2e608
1 parent 509fad0
commit af2e608
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/retry b/tools/retry
@@ -22,6 +22,7 @@ else
             run_once $* || exit
             echo "Rerun $n of $RETRY …"
         fi
+        [ -n "$COVERDB_SUFFIX" ] && rm -vf cover_db$COVERDB_SUFFIX
         n=$((n+1))
     done
 fi