changeset 7079:ecd48b98b094

Clean core dumps.
author Bruno Haible <bruno@clisp.org>
date Mon, 31 Jul 2006 11:37:23 +0000
parents a060dfddc867
children 5e5156434c2e
files ChangeLog gnulib-tool
diffstat 2 files changed, 9 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2006-07-30  Bruno Haible  <bruno@clisp.org>
+
+	* 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  <bruno@clisp.org>
 
 	* gnulib-tool (autoconf_minversion): If a --dir option is given and
--- 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 @@
   echo "EXTRA_DIST ="
   echo "BUILT_SOURCES ="
   echo "SUFFIXES ="
-  echo "MOSTLYCLEANFILES ="
+  echo "MOSTLYCLEANFILES = core *.stackdump"
   echo "MOSTLYCLEANDIRS ="
   echo "CLEANFILES ="
   echo "DISTCLEANFILES ="
@@ -980,7 +980,7 @@
   echo "EXTRA_DIST ="
   echo "BUILT_SOURCES ="
   echo "SUFFIXES ="
-  echo "MOSTLYCLEANFILES ="
+  echo "MOSTLYCLEANFILES = core *.stackdump"
   echo "MOSTLYCLEANDIRS ="
   echo "CLEANFILES ="
   echo "DISTCLEANFILES ="