diff options
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 | |||
| 859 | 859 | ||
| 860 | check: | 860 | check: |
| 861 | @if test ! -d test/automated; then \ | 861 | @if test ! -d test/automated; then \ |
| 862 | echo "You do not seem to have the test/ directory."; exit 1; \ | 862 | echo "You do not seem to have the test/ directory."; \ |
| 863 | else true; fi | 863 | echo "Maybe you are using a release tarfile, rather than a repository checkout."; \ |
| 864 | cd test/automated && $(MAKE) $(MFLAGS) check | 864 | else \ |
| 865 | cd test/automated && $(MAKE) $(MFLAGS) check; \ | ||
| 866 | fi | ||
| 865 | 867 | ||
| 866 | dist: | 868 | dist: |
| 867 | cd ${srcdir}; ./make-dist | 869 | cd ${srcdir}; ./make-dist |