diff options
| author |   Dave Barach <dave@barachs.net> | 2017-01-04 17:24:32 -0500 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2017-01-31 20:40:11 +0000 |
| commit | 3ad7704fbb273440d649b96478e8e302d1285170 (patch) | |
| tree | 477677a2dcbac3d8257faa2eaebc5e08a09b3524 /build-data | |
| parent | e1ae29a3f7a7bd79bb266803982fd0259b040922 (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.mk | 6 |
1 files changed, 6 insertions, 0 deletions
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__ + |