diff gnulib-tool @ 9010:03602a916a9a

Don't let the 'mostlyclean' target fail because of a nonempty directory.
author Bruno Haible <bruno@clisp.org>
date Sat, 23 Jun 2007 19:21:30 +0000 (2007-06-23)
parents 749a1b6b111d
children 44509698ba9d
line wrap: on
line diff
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -22,7 +22,7 @@
 
 progname=$0
 package=gnulib
-cvsdatestamp='$Date: 2007-06-23 12:37:29 $'
+cvsdatestamp='$Date: 2007-06-23 19:21:30 $'
 last_checkin_date=`echo "$cvsdatestamp" | sed -e 's,^\$[D]ate: ,,'`
 version=`echo "$last_checkin_date" | sed -e 's/ .*$//' -e 's,/,-,g'`
 nl='
@@ -1500,7 +1500,8 @@
   echo "	  if test -n \"\$\$dir\" && test -d \$\$dir; then \\"
   echo "	    echo \"rmdir \$\$dir\"; rmdir \$\$dir; \\"
   echo "	  fi; \\"
-  echo "	done"
+  echo "	done; \\"
+  echo "	:"
   rm -f allsnippets.tmp
 }
 
@@ -1615,7 +1616,8 @@
   echo "	  if test -n \"\$\$dir\" && test -d \$\$dir; then \\"
   echo "	    echo \"rmdir \$\$dir\"; rmdir \$\$dir; \\"
   echo "	  fi; \\"
-  echo "	done"
+  echo "	done; \\"
+  echo "	:"
   rm -f allsnippets.tmp
 }