diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 89277e2d66a..238df40ded8 100644 --- a/Makefile.in +++ b/Makefile.in @@ -58,9 +58,11 @@ # make docs # Make Emacs documentation files from their sources; requires makeinfo. # -# make check or make check-expensive -# Run Emacs test suite. check-expensive runs also tests which -# take more time to perform. +# make check (or check-expensive or check-all) +# Run the Emacs test suite. +# check-expensive includes additional tests that can be slow. +# check-all runs all tests, including ones that can be slow, or +# fail unpredictably SHELL = @SHELL@ @@ -938,7 +940,8 @@ have-tests: exit 1; \ fi -check check-maybe check-expensive: have-tests all +.PHONY: check check-maybe check-expensive check-all +check check-maybe check-expensive check-all: have-tests all $(MAKE) -C test $@ dist: @@ -955,7 +958,7 @@ $(DOCS): $(MAKE) -C doc/$(subst -, ,$@) .PHONY: $(DOCS) docs pdf ps -.PHONY: info dvi dist check check-maybe check-expensive html info-real info-dir check-info +.PHONY: info dvi dist html info-real info-dir check-info ## TODO add etc/refcards. docs: $(DOCS) |