--enable-optimization configure option

[features.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 9d8015ccf861c012ebbaac2d33247d12d4ce5530..4a9964381473ad64453d461dd3e63f8e2fac6c34 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2001-07-25  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
+
+       * configure.in: move --enable-assertions a bit higher.
+       move the setup of libtool a bit later.
+
+2001-07-23  John Levon  <moz@compsoc.man.ac.uk>
+
+       * INSTALL: document --disable-optimization
+ 
 2001-07-25  Lars Gullik Bjønnes  <larsbj@birdstep.com>
 
        * Makefile.am (EXTRA_DIST): add sourcedoc