tests: generalize my-distcheck

* maint.mk (my-distcheck): Accommodate missing gnulib-tests.

diff --git a/maint.mk b/maint.mk
index ebcb1b7dc314b53b57c2f59ddfe1bef64f896364..65b61cfe2d056385454923bdf002886ec3112a97 100644 (file)
--- a/maint.mk
+++ b/maint.mk
@@ -697,7 +697,9 @@ my-distcheck: $(DIST_ARCHIVES) $(local-check) check
             done                                       \
          && ln -sf ../src/true $(bin)/false            \
          && PATH=`pwd`/$(bin):$$PATH $(MAKE) -C tests check \
-         && $(MAKE) -C gnulib-tests check              \
+         && { test -d gnulib-tests                     \
+                && $(MAKE) -C gnulib-tests check       \
+                || :; }                                \
          && rm -rf $(bin)                              \
          && $(MAKE) distclean
        (cd $(t) && mv $(distdir) $(distdir).old        \