aboutsummaryrefslogtreecommitdiff
path: root/tojo-tokyo
diff options
context:
space:
mode:
Diffstat (limited to 'tojo-tokyo')
-rw-r--r--tojo-tokyo/packages/acl2.scm1
1 files changed, 0 insertions, 1 deletions
diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index ad73c35..40570ca 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -73,7 +73,6 @@
(invoke "faketime" "-f" "1970-01-01 00:00:01"
"make" "all"
(string-append "ACL2=" (string-append acl2 "/saved_acl2"))
- "-j" "8"
"ACL2_HAS_HONS=1"
"ACL2_HAS_ANSI=1"
"ACL2_COMP_EXT=fasl"