From 02489b329f4a273a8bc43c11f37e277196d64dd8 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 12 Mar 2007 00:48:31 +0000 Subject: [PATCH] Request a "make distclean" after successful "make check", to save disk space. --- gnulib-tool | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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" -- 2.11.0