aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/standard-52-card-deck.run2
1 files changed, 2 insertions, 0 deletions
diff --git a/jobs/standard-52-card-deck.run b/jobs/standard-52-card-deck.run
index 7f3486a..9402362 100755
--- a/jobs/standard-52-card-deck.run
+++ b/jobs/standard-52-card-deck.run
@@ -8,6 +8,8 @@ echo '---'
git log -n 1
echo '---'
echo
+
+make
for path in $(find -type f -name '*.lisp'); do
printf "%s\n " "${path#./}"
laminarc run acl2-verify path="$(pwd)/$path"