diff options
Diffstat (limited to 'hl/src/Makefile.in')
-rw-r--r-- | hl/src/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/hl/src/Makefile.in b/hl/src/Makefile.in index 12d8f84..ac3a8ac 100644 --- a/hl/src/Makefile.in +++ b/hl/src/Makefile.in @@ -649,7 +649,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 \ |