Propagate new version of lib/mkinstalldirs.

diff --git a/mkinstalldirs b/mkinstalldirs
index a3fa03e..f9bacbd 100755 (executable)
--- a/mkinstalldirs
+++ b/mkinstalldirs
@@ -4,7 +4,7 @@
 # Created: 1993-05-16
 # Public domain
 
-# $Id: mkinstalldirs,v 1.8 2001/09/29 06:01:15 eggert Exp $
+# $Id: mkinstalldirs,v 1.9 2001/10/01 06:38:06 eggert Exp $
 
 errstatus=0
 dirmode=""
@@ -28,6 +28,15 @@ while test $# -gt 0 ; do
    esac
 done
 
+for file
+do
+  if test -d "$file"; then
+    shift
+  else
+    break
+  fi
+done
+
 case $# in
 0) exit 0 ;;
 esac