diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 2c5f1ec6f98..06596424e9d 100644 --- a/test/Makefile +++ b/test/Makefile @@ -143,7 +143,10 @@ ext: test-dep: verify-python-path $(PAPI_INSTALL_DONE) -test: verify-python-path $(PAPI_INSTALL_DONE) ext sanity reset +test: verify-python-path $(PAPI_INSTALL_DONE) sanity reset + $(call retest-func) + +test-ext: verify-python-path $(PAPI_INSTALL_DONE) ext sanity reset $(call retest-func) retest: verify-python-path sanity reset |