From ffefb6e899fbcdcbd79cb34292d57b7bc3043fcc Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Thu, 3 Dec 2015 19:57:11 -0500
Subject: [PATCH] * Makefile.in: Avoid duplication.

(have-tests): New rule.
(check, check-maybe): Use it.
---
 Makefile.in | 16 +++++-----------
 1 file changed, 5 insertions(+), 11 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 06e5b06570..57e29d7f98 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -921,22 +921,16 @@ extraclean: $(extraclean_dirs:=_extraclean)
 TAGS tags: lib lib-src src
 	$(MAKE) -C src tags
 
-
-check-maybe: all
+.PHONY: have-tests
+have-tests:
 	@if test ! -d test; then \
 	  echo "You do not seem to have the test/ directory."; \
 	  echo "Maybe you are using a release tarfile, rather than a repository checkout."; \
-	else \
-	  $(MAKE) -C test check-maybe; \
+	 exit 1; \
 	fi
 
-check: all
-	@if test ! -d test; then \
-	  echo "You do not seem to have the test/ directory."; \
-	  echo "Maybe you are using a release tarfile, rather than a repository checkout."; \
-	else \
-	  $(MAKE) -C test check; \
-	fi
+check check-maybe: have-tests all
+	$(MAKE) -C test $@
 
 dist:
 	cd ${srcdir}; ./make-dist
-- 
2.39.2