diff options
Diffstat (limited to 'jobs')
| -rwxr-xr-x | jobs/acl2-theorems.run | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jobs/acl2-theorems.run b/jobs/acl2-theorems.run index 3f64c31..8bbcabc 100755 --- a/jobs/acl2-theorems.run +++ b/jobs/acl2-theorems.run @@ -2,8 +2,9 @@ set -euo pipefail for path in $(find -type f -name '*.lisp'); do - printf "%s:\n " "$path" + printf "%s\n " "${path#./}" laminarc run acl2-verify path="$(pwd)/$path" + echo done echo 'Verified all files!' |