From: Bruno Haible <bruno@clisp.org>
Date: Mon, 12 Mar 2007 00:48:31 +0000 (+0000)
Subject: Request a "make distclean" after successful "make check", to save disk space.
X-Git-Tag: cvs-readonly~786
X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=02489b329f4a273a8bc43c11f37e277196d64dd8;p=gnulib.git

Request a "make distclean" after successful "make check", to save disk space.
---

diff --git a/gnulib-tool b/gnulib-tool
index d23e3d97b..eb50ee280 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2007-03-11 22:16:19 $'
+cvsdatestamp='$Date: 2007-03-12 00:48:31 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 nl='
@@ -2821,7 +2821,7 @@ func_create_megatestdir ()
    echo "   : autobuild revision... cvs-\$CVSDATE-000000"
    echo "   : autobuild timestamp... \`date \"+%Y%m%d-%H%M%S\"\`"
    echo "   : autobuild hostname... \`hostname\`"
-   echo "   cd \$module && ./configure \$CONFIGURE_OPTIONS && make && make check"
+   echo "   cd \$module && ./configure \$CONFIGURE_OPTIONS && make && make check && make distclean"
    echo "   echo rc=\$?"
    echo "  ) 2>&1 | { if test -n \"\$AUTOBUILD_SUBST\"; then sed -e \"\$AUTOBUILD_SUBST\"; else cat; fi; } > logs/\$safemodule"
    echo "done"