mirror of
https://codeberg.org/ziglings/exercises.git
synced 2025-04-08 16:58:33 +01:00
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
This commit is contained in:
commit
c13a00fc71
2 changed files with 14 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -3,6 +3,7 @@
|
|||
/answers/
|
||||
/patches/healed/
|
||||
/output/
|
||||
.progress.txt
|
||||
|
||||
# Leave this in here for older zig versions
|
||||
/zig-cache/
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue