aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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