diff options
author | Glenn Morris <rgm@gnu.org> | 2011-05-24 16:09:08 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2011-05-24 16:09:08 -0400 |
commit | a22d9d2c2a51fd6ed6ffd2d19c30fa4e93352a08 (patch) | |
tree | 3ce1630c7c09425eb63b6b73ad9959ed54154403 /Makefile.in | |
parent | bdd556a2b38dffdd7b9867eec8113d9ba8e66ed9 (diff) | |
download | emacs-a22d9d2c2a51fd6ed6ffd2d19c30fa4e93352a08.tar.gz |
* Makefile.in (check): Just give a message if no test/ directory.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 0c3eabcf3b3..529a3b254c2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -859,9 +859,11 @@ TAGS tags: lib lib-src src check: @if test ! -d test/automated; then \ - echo "You do not seem to have the test/ directory."; exit 1; \ - else true; fi - cd test/automated && $(MAKE) $(MFLAGS) check + echo "You do not seem to have the test/ directory."; \ + echo "Maybe you are using a release tarfile, rather than a repository checkout."; \ + else \ + cd test/automated && $(MAKE) $(MFLAGS) check; \ + fi dist: cd ${srcdir}; ./make-dist |