#7 rm

zerocracy · May 17, 2024 · 387a707 · 387a707
1 parent bc47786
commit 387a707
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -22,7 +22,7 @@
 
 .SHELLFLAGS: -c
 .ONESHELL:
-.PHONY: clean test all entry rmi verify rubocop
+.PHONY: clean test all entry entry rmi verify rubocop
 
 all: rubocop test entry rmi verify
 

diff --git a/entry.sh b/entry.sh
@@ -43,6 +43,7 @@ pages=$(realpath "${INPUT_PAGES}")
 cd /judges-action
 
 if [ -e "${fb}" ]; then
+    rm "${fb}"
     # Remove facts that are too old
     bundle exec judges --verbose trim "${fb}"
 fi