diff options
| author | Glenn Morris <rgm@gnu.org> | 2018-03-09 16:40:43 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2018-03-09 16:40:43 -0500 |
| commit | 461e681822ff86132a6dc18b65eb2070cb006800 (patch) | |
| tree | 52084b1f91e6dad71307b6fa0d3f8204957e0f44 /Makefile.in | |
| parent | 6edbc03f8f79ae7b7765723b70a31aeae7351a0d (diff) | |
| download | emacs-461e681822ff86132a6dc18b65eb2070cb006800.tar.gz | |
* Makefile.in (check-declare): Also check test/ directory.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 66369cd25f4..52d44d9708f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1158,6 +1158,7 @@ check-declare: exit 1; \ fi $(MAKE) -C lisp $@ + $(MAKE) -C test $@ .PHONY: gitmerge |