summaryrefslogtreecommitdiffstatshomepage
path: root/patches/eowyn.sh
diff options
context:
space:
mode:
authorManlio Perillo <manlio.perillo@gmail.com>2023-04-16 18:07:51 +0200
committerManlio Perillo <manlio.perillo@gmail.com>2023-04-18 18:16:19 +0200
commit7d7be0482c3a2cafc91c743c6d139b5c140457f3 (patch)
tree1339dd92a9152587ca7fef52259c1674515c9c76 /patches/eowyn.sh
parent6b17a188936d489e2777e541c84112b2609532d5 (diff)
eowyn: run `zig fmt --check` before `zig build`
Update the eowyn.sh script to check the healed exercises formatting, before running `zig build`.
Diffstat (limited to 'patches/eowyn.sh')
-rwxr-xr-xpatches/eowyn.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/patches/eowyn.sh b/patches/eowyn.sh
index a30a67a..a036acf 100755
--- a/patches/eowyn.sh
+++ b/patches/eowyn.sh
@@ -42,5 +42,8 @@ do
fi
done
+# Check the healed exercises formatting.
+zig fmt --check patches/healed
+
# Test the healed exercises. May the compiler have mercy upon us.
zig build -Dhealed