diff options
author | Phillip Lord <phillip.lord@russet.org.uk> | 2015-12-02 21:28:56 +0000 |
---|---|---|
committer | Phillip Lord <phillip.lord@russet.org.uk> | 2015-12-02 21:28:56 +0000 |
commit | 354a1fc38d6d4bf93db30c6e3048437dd3fbc19f (patch) | |
tree | 027f7196aac76c71c78ead31559b0d56d2ff7ccd /Makefile.in | |
parent | 5874cd46e9cd8b20c61190ad56055d73816c2303 (diff) | |
download | emacs-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.in | 11 |
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) |