From: Michael Jeanson <mjeanson@efficios.com>
Date: Wed, 24 Apr 2019 19:12:10 +0000 (-0400)
Subject: jjb: fix coverity for linux-rseq
X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=1c1cca412fd889887e6e0b53e55ad93a79641475;p=lttng-ci.git

jjb: fix coverity for linux-rseq

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

diff --git a/scripts/common/coverity.sh b/scripts/common/coverity.sh
index 983163b..e2282e1 100755
--- a/scripts/common/coverity.sh
+++ b/scripts/common/coverity.sh
@@ -204,7 +204,8 @@ autotools)
     ;;
 linux-rseq)
     make defconfig
-    cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" kernel/rseq.o kernel/cpu_opv.o V=1
+    make -j"$NPROC" prepare
+    cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" kernel/rseq.o kernel/cpu_opv.o V=1 KCPPFLAGS="$CPPFLAGS"
     ;;
 *)
     echo "Unsupported build type: $BUILD_TYPE"