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 983163b34d5ee5f111e66af1d3c42b08c0dcc157..e2282e1c3de73b67a6273adaa25d9888a277bb73 100755 (executable)
--- 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"