aboutsummaryrefslogtreecommitdiff
path: root/configure.ac.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'configure.ac.pamphlet')
-rw-r--r--configure.ac.pamphlet11
1 files changed, 1 insertions, 10 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index f2e1f868..a9ff684c 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -487,15 +487,6 @@ if test x"$axiom_enable_checking" = xyes; then
AC_MSG_NOTICE([runtime checking may increase compilation time])
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
-
AC_SUBST(axiom_enable_checking)
AC_SUBST(axiom_optimize_options)
@
@@ -1140,7 +1131,7 @@ information:
<<Autoconf init>>=
sinclude(config/open-axiom.m4)
sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.3.0-2009-03-25],
+AC_INIT([OpenAxiom], [1.3.0-2009-04-01],
[open-axiom-bugs@lists.sf.net])
@