From 5405575b7bf33598cded5a4231088b7cc8a4d593 Mon Sep 17 00:00:00 2001 From: Michael Jeanson Date: Tue, 16 Jul 2019 18:02:51 -0400 Subject: [PATCH 1/1] jjb: Remove coverity hack, fixed upstream Signed-off-by: Michael Jeanson --- scripts/common/coverity.sh | 22 ---------------------- 1 file changed, 22 deletions(-) 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 -- 2.34.1