From: Michael Jeanson <mjeanson@efficios.com>
Date: Tue, 16 Jul 2019 22:02:51 +0000 (-0400)
Subject: jjb: Remove coverity hack, fixed upstream
X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=5405575b7bf33598cded5a4231088b7cc8a4d593;p=lttng-ci.git

jjb: Remove coverity hack, fixed upstream

Signed-off-by: Michael Jeanson <mjeanson@efficios.com>
---

diff --git a/scripts/common/coverity.sh b/scripts/common/coverity.sh
index e2282e1..a88a2c7 100755
--- a/scripts/common/coverity.sh
+++ b/scripts/common/coverity.sh
@@ -112,28 +112,6 @@ if [ -d "$WORKSPACE/src/linux" ]; then
 	export KERNELDIR="$WORKSPACE/src/linux"
 fi
 
-# Hack to get coverity with gcc >= 7
-#
-# We have to define the _Float* types as those are not defined by coverity and as result
-# the codes linking agains those (pretty much anything linking against stdlib.h and math.h)
-# won't be covered.
-echo "
-#ifdef __cplusplus
-extern \"C\" {
-#endif
-
-#define _Float128 long double
-#define _Float64x long double
-#define _Float64 double
-#define _Float32x double
-#define _Float32 float
-
-#ifdef __cplusplus
-}
-#endif" >> /tmp/coverity.h
-
-export CPPFLAGS="-include /tmp/coverity.h ${CPPFLAGS:-}"
-
 
 # Verify upload is permitted
 #  Added "--insecure" because Coverity can't be bothered to properly install SSL certificate chains