summaryrefslogtreecommitdiff
path: root/patches/eowyn.sh
diff options
context:
space:
mode:
authorChris Boesch <chrboesch@noreply.codeberg.org>2025-02-09 20:57:18 +0000
committerChris Boesch <chrboesch@noreply.codeberg.org>2025-02-09 20:57:18 +0000
commitc13a00fc717bafaf41b65dba041d0ce0dbed9c82 (patch)
tree88b0530138542a6da9ebb49a7de211bb22cb5a3c /patches/eowyn.sh
parentb3dd04885d678b5c2eab824ee839938942017678 (diff)
parentc1777f47d5478cde0f08dafc6937b0f38464d787 (diff)
Merge pull request 'Added deletion of progress.txt for eowyn' (#206) from eowyn_fix into main
Reviewed-on: https://codeberg.org/ziglings/exercises/pulls/206
Diffstat (limited to 'patches/eowyn.sh')
-rwxr-xr-xpatches/eowyn.sh14
1 files changed, 13 insertions, 1 deletions
diff --git a/patches/eowyn.sh b/patches/eowyn.sh
index 8cac450..afc2732 100755
--- a/patches/eowyn.sh
+++ b/patches/eowyn.sh
@@ -12,6 +12,12 @@
# using the patches in this directory and convey them
# to convalesce in the healed directory.
#
+delete_progress() {
+ progress_file=".progress.txt"
+ if [ -f $progress_file ]; then
+ rm $progress_file
+ fi
+}
set -e
# We check ourselves before we wreck ourselves.
@@ -23,9 +29,12 @@ fi
# Which version we have?
echo "Zig version" $(zig version)
-echo "Eowyn version 23.10.5.1, let's try our magic power."
+echo "Eowyn version 25.1.9, let's try our magic power."
echo ""
+# Remove progress file
+delete_progress
+
# Create directory of healing if it doesn't already exist.
mkdir -p patches/healed
@@ -54,3 +63,6 @@ zig fmt --check patches/healed
# Test the healed exercises. May the compiler have mercy upon us.
zig build -Dhealed
+
+# Remove progress file again
+delete_progress