diff options
Diffstat (limited to 'tools/misc/Makefile.in')
| -rw-r--r-- | tools/misc/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/misc/Makefile.in b/tools/misc/Makefile.in index 5fe79be..7caf956 100644 --- a/tools/misc/Makefile.in +++ b/tools/misc/Makefile.in @@ -742,7 +742,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 \ |