diff options
Diffstat (limited to 'tools/Makefile.in')
| -rw-r--r-- | tools/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in index 93e5a5c..cde0c4e 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -641,7 +641,9 @@ install-doc uninstall-doc: # TEST_PROG_PARA, or TEST_SCRIPT will actually be executed. check-TESTS: test -test _test: check-s check-p +test _test: + $(MAKE) check-s + $(MAKE) check-p check-s: $(LIB) $(PROGS) $(TESTS) @if test -n "$(TEST_PROG)$(TEST_SCRIPT)"; then \ |