From 3ad7704fbb273440d649b96478e8e302d1285170 Mon Sep 17 00:00:00 2001 From: Dave Barach Date: Wed, 4 Jan 2017 17:24:32 -0500 Subject: Prep work for Coverity upload processing via Jenkins Change-Id: I2575d780d19e12ddf8a77e5596e5d7cc3dbf4233 Signed-off-by: Dave Barach --- build-data/platforms/vpp.mk | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'build-data') diff --git a/build-data/platforms/vpp.mk b/build-data/platforms/vpp.mk index 5b200587..ee307639 100644 --- a/build-data/platforms/vpp.mk +++ b/build-data/platforms/vpp.mk @@ -70,3 +70,9 @@ vpp_gcov_TAG_CFLAGS = -g -O0 -DCLIB_DEBUG -march=$(MARCH) \ -fPIC -Werror -fprofile-arcs -ftest-coverage vpp_gcov_TAG_LDFLAGS = -g -O0 -DCLIB_DEBUG -march=$(MARCH) \ -fPIC -Werror -coverage + +vpp_coverity_TAG_CFLAGS = -g -O2 -march=$(MARCH) -mtune=$(MTUNE) \ + -fPIC -Werror -D__COVERITY__ +vpp_coverity_TAG_LDFLAGS = -g -O2 -march=$(MARCH) -mtune=$(MTUNE) \ + -fPIC -Werror -D__COVERITY__ + -- cgit 1.2.3-korg