diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 23:39:44 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-07-31 23:39:44 +0900 |
| commit | 93625d3fad9993a8e5187ff85a0c0010b005ffcd (patch) | |
| tree | f2c0f0bc0ca1747f6644bf7d808c7026321225d5 /jobs/acl2-theorems.run | |
| parent | f515370c1e184e543d747ff1daed2901e90124dc (diff) | |
acl2-theorems: Update messages.
Diffstat (limited to 'jobs/acl2-theorems.run')
| -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!' |