aboutsummaryrefslogtreecommitdiffstats
path: root/build-data
diff options
context:
space:
mode:
authorDave Barach <dave@barachs.net>2017-01-04 17:24:32 -0500
committerDamjan Marion <dmarion.lists@gmail.com>2017-01-31 20:40:11 +0000
commit3ad7704fbb273440d649b96478e8e302d1285170 (patch)
tree477677a2dcbac3d8257faa2eaebc5e08a09b3524 /build-data
parente1ae29a3f7a7bd79bb266803982fd0259b040922 (diff)
Prep work for Coverity upload processing via Jenkins
Change-Id: I2575d780d19e12ddf8a77e5596e5d7cc3dbf4233 Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'build-data')
-rw-r--r--build-data/platforms/vpp.mk6
1 files changed, 6 insertions, 0 deletions
diff --git a/build-data/platforms/vpp.mk b/build-data/platforms/vpp.mk
index 5b2005870e1..ee30763986f 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__
+