* 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).
This commit is contained in:
Paul Eggert
2005-10-31 00:11:48 +00:00
parent 067b32eef4
commit e10a80eeac
2 changed files with 18 additions and 5 deletions

View File

@@ -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.