aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-09 22:49:06 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-09 22:49:06 +0900
commitc21f04edc1abbfe1e4b0fb3c0961afaa4d6554c7 (patch)
tree7e64b559bd239911f8658142a5b183417f976e92 /jobs
parent450b021adf7301b8c77aaacc3357ce662b17abdc (diff)
acl2-verify: Fix.
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/acl2-verify.run2
1 files changed, 1 insertions, 1 deletions
diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run
index 1c9a2ae..790ecee 100755
--- a/jobs/acl2-verify.run
+++ b/jobs/acl2-verify.run
@@ -6,5 +6,5 @@ cp "$path" "$filename"
book="${filename%.lisp}"
echo "--- acl2 verify: $book ---"
-guix environment --pure --container --ad-hoc acl2 <<< "(CERTIFY-BOOK \"$book\")"
+guix environment --pure --container --ad-hoc acl2 -- acl2 <<< "(CERTIFY-BOOK \"$book\")"
test -f "$book".cert