FYI: texi2dvi: concurrent mkdir -p

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <a...@epita.fr>

        * bin/texi2dvi (ensure_dir): Die only if we could not create the
        directory at all.

Index: util/texi2dvi
===================================================================
RCS file: /cvsroot/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.140
diff -u -u -r1.140 texi2dvi
--- util/texi2dvi 13 Apr 2009 00:39:48 -0000 1.140
+++ util/texi2dvi 15 Apr 2009 13:32:44 -0000
@@ -195,8 +195,12 @@
 {
   for dir
   do
+    # Beware that in parallel builds we may have several concurrent
+    # attempts to create the directory.  So fail only if "mkdir"
+    # failed *and* the directory still does not exist.
     test -d "$dir" \
       || mkdir "$dir" \
+      || test -d "$dir" \
       || error 1 "cannot create directory: $dir"
   done
 }