From 28a95c3a8a5db3b8d5da92524e840f4205b6bde6 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 31 Jul 2006 11:37:23 +0000 Subject: [PATCH] Clean core dumps. --- ChangeLog | 6 ++++++ gnulib-tool | 6 +++--- 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 112c710b0e..a65d73256c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2006-07-30 Bruno Haible + + * gnulib-tool (func_emit_lib_Makefile_am, func_emit_tests_Makefile_am): + Initialize MOSTLYCLEANFILES to core and *.stackdump, so that core dumps + get removed. + 2006-07-29 Bruno Haible * gnulib-tool (autoconf_minversion): If a --dir option is given and diff --git a/gnulib-tool b/gnulib-tool index cfe9999de7..a36809afc1 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -22,7 +22,7 @@ progname=$0 package=gnulib -cvsdatestamp='$Date: 2006-07-31 11:36:29 $' +cvsdatestamp='$Date: 2006-07-31 11:37:23 $' last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'` version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'` @@ -902,7 +902,7 @@ func_emit_lib_Makefile_am () echo "EXTRA_DIST =" echo "BUILT_SOURCES =" echo "SUFFIXES =" - echo "MOSTLYCLEANFILES =" + echo "MOSTLYCLEANFILES = core *.stackdump" echo "MOSTLYCLEANDIRS =" echo "CLEANFILES =" echo "DISTCLEANFILES =" @@ -980,7 +980,7 @@ func_emit_tests_Makefile_am () echo "EXTRA_DIST =" echo "BUILT_SOURCES =" echo "SUFFIXES =" - echo "MOSTLYCLEANFILES =" + echo "MOSTLYCLEANFILES = core *.stackdump" echo "MOSTLYCLEANDIRS =" echo "CLEANFILES =" echo "DISTCLEANFILES =" -- 2.30.2