clean after failed filter

yegor256 · Feb 25, 2024 · 3debd23 · 3debd23
1 parent 240634b
commit 3debd23
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/steps/filter.sh b/steps/filter.sh
@@ -26,6 +26,10 @@ set -o pipefail
 mkdir -p "${TARGET}/temp/reports"
 find "${LOCAL}/filters" -type f -name '*.sh' -exec realpath --relative-to="${LOCAL}/filters" {} \; | sort | while IFS= read -r filter; do
     tex=${TARGET}/temp/reports/${filter}.tex
+    if [ ! -s "${tex}" ]; then
+        echo "The ${filter} filter failed in previous run, cleaning up after it now..."
+        rm -f "${tex}"
+    fi
     if [ -e "${tex}" ]; then
         echo "The ${filter} filter was already completed earlier, see report in '${tex}'"
     else