dhcp: fix dhcpv6 client and dhcpv6 prefix delegation

[vpp.git] / Makefile

diff --git a/Makefile b/Makefile
index b8c8a78..7f5092b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -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