Prep work for Coverity upload processing via Jenkins

[vpp.git] / src / vppinfra / error.h

diff --git a/src/vppinfra/error.h b/src/vppinfra/error.h
index 63d73af..e51f938 100644 (file)
--- 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 */
 
 /*