aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure9
1 files changed, 9 insertions, 0 deletions
diff --git a/configure b/configure
index b950df9f..3d2fd9eb 100755
--- a/configure
+++ b/configure
@@ -21144,6 +21144,15 @@ if test x"$axiom_enable_checking" = xyes; then
echo "$as_me: runtime checking may increase compilation time" >&6;}
fi
+## ??? There currently seems to be a bug in ECL such that
+## ??? only a debug+safety build can succeed.
+case $axiom_lisp_flavor,$axiom_enable_checking in
+ ecl,no)
+ axiom_optimize_options="$axiom_optimize_options safety debug"
+ ;;
+ *) ;;
+esac
+