diff ChangeLog @ 103595:de3fb78ac3df

(--enable-checking): New option.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 26 Jun 2009 23:41:43 +0000
parents 15f0b2d2eef8
children 02bc348744ed
line wrap: on
line diff
--- a/ChangeLog	Fri Jun 26 18:37:41 2009 +0000
+++ b/ChangeLog	Fri Jun 26 23:41:43 2009 +0000
@@ -1,3 +1,7 @@
+2009-06-26  Dan Nicolaescu  <dann@ics.uci.edu>
+
+	* configure.in (--enable-checking): New option.
+
 2009-06-24  Glenn Morris  <rgm@gnu.org>
 
 	* make-dist: Warn if subdir does not exist in source.