gnulib when interrupted. This fixes some race conditions and
works around some portability problems (one noted by Paul
Hilfinger).
+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.
2005-10-22 Akim <akim@epita.fr>
* Makefile.cfg: Adjust to config -> build-aux.
+cleanup_gnulib() {
+ status=$?
+ rm -fr gnulib
+ exit $status
+}
+
# Get gnulib files.
case ${GNULIB_SRCDIR--} in
# Get gnulib files.
case ${GNULIB_SRCDIR--} in
if [ ! -d gnulib ]; then
echo "$0: getting gnulib files..."
if [ ! -d gnulib ]; then
echo "$0: getting gnulib files..."
- trap exit 1 2 13 15
- trap 'rm -fr gnulib; exit 1' 0
-
case ${CVS_AUTH-anoncvs} in
anoncvs)
CVS_PREFIX='anoncvs@';;
case ${CVS_AUTH-anoncvs} in
anoncvs)
CVS_PREFIX='anoncvs@';;
'') export CVS_RSH=ssh;;
esac
'') export CVS_RSH=ssh;;
esac
- cvs -z3 -q -d ${CVS_PREFIX}subversions.gnu.org:/cvsroot/gnulib co gnulib || exit
+ trap cleanup_gnulib 1 2 13 15
+
+ cvs -z3 -q -d ${CVS_PREFIX}subversions.gnu.org:/cvsroot/gnulib co gnulib ||
+ cleanup_gnulib
fi
GNULIB_SRCDIR=gnulib
esac
fi
GNULIB_SRCDIR=gnulib
esac