From 7af2ab9dd8fcc0da90e0c309bcbe90cca82b6652 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 22 Aug 2021 01:47:20 +0900
Subject: standard-52-card-deck: Add make command.

---
 jobs/standard-52-card-deck.run | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'jobs')

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"
-- 
cgit v1.2.3