From 1c1cca412fd889887e6e0b53e55ad93a79641475 Mon Sep 17 00:00:00 2001 From: Michael Jeanson Date: Wed, 24 Apr 2019 15:12:10 -0400 Subject: [PATCH] jjb: fix coverity for linux-rseq Signed-off-by: Michael Jeanson --- scripts/common/coverity.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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" -- 2.34.1