diff options
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 72b4dac7454..132ebee6006 100644 --- a/test/Makefile +++ b/test/Makefile @@ -107,7 +107,11 @@ sanity: verify-no-running-vpp echo \"*******************************************************************\" &&\ false)" -test: verify-python-path $(PAPI_INSTALL_DONE) sanity reset +.PHONY: ext +ext: + make -C ext + +test: verify-python-path $(PAPI_INSTALL_DONE) ext sanity reset $(call retest-func) retest: verify-python-path sanity reset |