* bootstrap (cleanup_gnulib): New function. Use it to clean up

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 5218c81081f194a903f8c9daae3f21314ce60965..bd6490700b81ff39da929f9ee9f56b93b3c6e512 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2005-10-30  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * bootstrap (cleanup_gnulib): New function.  Use it to clean up
+       gnulib when interrupted.  This fixes some race conditions and
+       works around some portability problems (one noted by Paul
+       Hilfinger).
+
 2005-10-22  Akim  <akim@epita.fr>
 
        * Makefile.cfg: Adjust to config -> build-aux.