summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorPhillip Lord <phillip.lord@russet.org.uk>2015-12-02 21:28:56 +0000
committerPhillip Lord <phillip.lord@russet.org.uk>2015-12-02 21:28:56 +0000
commit354a1fc38d6d4bf93db30c6e3048437dd3fbc19f (patch)
tree027f7196aac76c71c78ead31559b0d56d2ff7ccd /Makefile.in
parent5874cd46e9cd8b20c61190ad56055d73816c2303 (diff)
downloademacs-354a1fc38d6d4bf93db30c6e3048437dd3fbc19f.tar.gz
make check unconditional, check-maybe top-level.
* Makefile.in: Add check-maybe target. * test/Makefile.in: Restore unconditional behaviour to make check.
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in11
1 files changed, 10 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 9ab1f768da0..06e5b065701 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -921,6 +921,15 @@ extraclean: $(extraclean_dirs:=_extraclean)
TAGS tags: lib lib-src src
$(MAKE) -C src tags
+
+check-maybe: 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-maybe; \
+ fi
+
check: all
@if test ! -d test; then \
echo "You do not seem to have the test/ directory."; \
@@ -943,7 +952,7 @@ $(DOCS):
$(MAKE) -C doc/$(subst -, ,$@)
.PHONY: $(DOCS) docs pdf ps
-.PHONY: info dvi dist check html info-real info-dir check-info
+.PHONY: info dvi dist check check-maybe html info-real info-dir check-info
## TODO add etc/refcards.
docs: $(DOCS)