1 files changed, 3 insertions, 1 deletions
diff --git a/maint.mk b/maint.mk
index ebcb1b7dc..65b61cfe2 100644
--- 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	\