aboutsummaryrefslogtreecommitdiffstats
path: root/src/vppinfra
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 /src/vppinfra
parente1ae29a3f7a7bd79bb266803982fd0259b040922 (diff)
Prep work for Coverity upload processing via Jenkins
Change-Id: I2575d780d19e12ddf8a77e5596e5d7cc3dbf4233 Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra')
-rw-r--r--src/vppinfra/error.h10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/vppinfra/error.h b/src/vppinfra/error.h
index 63d73af36c7..e51f938e797 100644
--- a/src/vppinfra/error.h
+++ b/src/vppinfra/error.h
@@ -190,6 +190,16 @@ do { \
_error_assert; \
})
+/*
+ * If we're running under Coverity, don't die on
+ * failed static assertions.
+ */
+#ifdef __COVERITY__
+#ifndef _Static_assert
+#define _Static_assert(x,y)
+#endif
+#endif
+
#endif /* included_error_h */
/*