diff options
Diffstat (limited to 'config/open-axiom.m4')
-rw-r--r-- | config/open-axiom.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 79b7f00d..323125a7 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -388,7 +388,7 @@ case $oa_lisp_flavor in ;; sbcl) oa_quiet_flags='--noinform --noprint' - oa_eval_flags='--no-sysinit --no-userinit --eval' + oa_eval_flags='--no-sysinit --no-userinit --disable-debugger --eval' ;; clisp) oa_quiet_flags='--quiet' |