From 3ad7704fbb273440d649b96478e8e302d1285170 Mon Sep 17 00:00:00 2001
From: Dave Barach <dave@barachs.net>
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 <dave@barachs.net>
---
 src/vppinfra/error.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/vppinfra')

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 */
 
 /*
-- 
cgit 1.2.3-korg