From f515370c1e184e543d747ff1daed2901e90124dc Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sat, 31 Jul 2021 23:33:37 +0900
Subject: acl2-theorems: Add messages.

---
 jobs/acl2-theorems.run | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'jobs')

diff --git a/jobs/acl2-theorems.run b/jobs/acl2-theorems.run
index 04ed3a3..3f64c31 100755
--- a/jobs/acl2-theorems.run
+++ b/jobs/acl2-theorems.run
@@ -2,5 +2,8 @@
 set -euo pipefail
 
 for path in $(find -type f -name '*.lisp'); do
+    printf "%s:\n  " "$path"
     laminarc run acl2-verify path="$(pwd)/$path"
 done
+
+echo 'Verified all files!'
-- 
cgit v1.2.3