Added deletion of progress.txt for eowyn

This commit is contained in:
Chris Boesch 2025-02-09 21:31:07 +01:00
parent b3dd04885d
commit c02e6ead16
No known key found for this signature in database
GPG key ID: 8712DF4D3E364668
2 changed files with 8 additions and 0 deletions

1
.gitignore vendored
View file

@ -3,6 +3,7 @@
/answers/
/patches/healed/
/output/
.progress.txt
# Leave this in here for older zig versions
/zig-cache/

View file

@ -26,6 +26,13 @@ echo "Zig version" $(zig version)
echo "Eowyn version 23.10.5.1, let's try our magic power."
echo ""
# Remove progress file
progress_file=".progress.txt"
if [ -f $progress_file ]; then
rm $progress_file
fi
# Create directory of healing if it doesn't already exist.
mkdir -p patches/healed