diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -635,10 +635,13 @@ ifeq ($(OS_ID),ubuntu) @make vom-pkg-deb endif +MAKE_VERIFY_GATE_OS ?= ubuntu-18.04 verify: pkg-verify -ifeq ($(OS_ID)-$(OS_VERSION_ID),ubuntu-18.04) +ifeq ($(OS_ID)-$(OS_VERSION_ID),$(MAKE_VERIFY_GATE_OS)) $(call banner,"Testing vppapigen") @src/tools/vppapigen/test_vppapigen.py $(call banner,"Running tests") @make COMPRESS_FAILED_TEST_LOGS=yes RETRIES=3 test +else + $(call banner,"Skipping tests. Tests under 'make verify' supported on $(MAKE_VERIFY_GATE_OS)") endif |