aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo/packages
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:18:52 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-09-09 20:18:52 +0900
commit8306f24c8ac74fe7635f8a48aae3b98367bd2716 (patch)
tree110947714950569e71d986cffef8a5c4db54f1b2 /tojo-tokyo/packages
parent26e634faaf30d9416707d72e334e6f77b545fc89 (diff)
acl2: Fix typo.
Diffstat (limited to 'tojo-tokyo/packages')
-rw-r--r--tojo-tokyo/packages/acl2.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index d30d728..72b1fd0 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -54,7 +54,7 @@
"12ydcb3s4cwlk5mghxn0cah3fw698c27m8vpyjwyx219iq2c0h5l"))))
(build-system gnu-build-system)
(arguments
- `(#:tests #f
+ `(#:tests? #f
#:phases
(modify-phases %standard-phases
(replace 'configure