(dist): Don't die if a subdirectory already exists.

diff --git a/dist-subd-top.am b/dist-subd-top.am
index 3fa0c95..84e37bd 100644 (file)
--- a/dist-subd-top.am
+++ b/dist-subd-top.am
@@ -13,9 +13,11 @@ dist: $(DIST_FILES)
          };                                    \
        done
        for subdir in $(SUBDIRS); do            \
-         mkdir $(distdir)/$$subdir || exit 1;  \
+         test -d $(distdir)/$$subdir           \
+         || mkdir $(distdir)/$$subdir          \
+         || exit 1;                            \
          chmod 777 $(distdir)/$$subdir;        \
-         (cd $$subdir; $(MAKE) $@) || exit 1; \
+         (cd $$subdir; $(MAKE) $@) || exit 1;  \
        done
        @sublist="$(DIST_SUBDIRS)";             \
        for dir in $$sublist; do                \