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