diff options
author | Glenn Morris <rgm@gnu.org> | 2015-12-03 19:57:11 -0500 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2015-12-03 19:57:11 -0500 |
commit | ffefb6e899fbcdcbd79cb34292d57b7bc3043fcc (patch) | |
tree | f8909335a0c381d385d0986911c85fa0d65cc54b /Makefile.in | |
parent | 354a1fc38d6d4bf93db30c6e3048437dd3fbc19f (diff) | |
download | emacs-ffefb6e899fbcdcbd79cb34292d57b7bc3043fcc.tar.gz |
* Makefile.in: Avoid duplication.
(have-tests): New rule.
(check, check-maybe): Use it.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/Makefile.in b/Makefile.in index 06e5b065701..57e29d7f983 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 |