From: Vratko Polak Date: Fri, 11 Oct 2019 10:36:05 +0000 (+0000) Subject: Merge "Set PLATFORM=vpp for all 'make -C build-root/Makefile'" X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=efe9257a8bbf607459c4d09a4d00d899faf06812;p=ci-management.git Merge "Set PLATFORM=vpp for all 'make -C build-root/Makefile'" --- efe9257a8bbf607459c4d09a4d00d899faf06812