jjb: Fix rseq coverity build

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

diff --git a/jobs/linux-rseq.yaml b/jobs/linux-rseq.yaml
index dce0f84d98c280e91152d0c6b06ff56dcd274da3..951b1cf5da20179dbdb3b57478c6c54b214fe874 100644 (file)
--- a/jobs/linux-rseq.yaml
+++ b/jobs/linux-rseq.yaml
@@ -24,6 +24,7 @@
             - origin/rseq/dev
           basedir: src/linux-rseq
           skip-tag: true
+          reference-repo: "$HOME/gitcache/linux-stable.git/"
 
     triggers:
       - pollscm:

diff --git a/scripts/common/coverity.sh b/scripts/common/coverity.sh
index 80fc6490043be1fc4185892f27d6b646316abc97..52db8355f399afca3f323d35d968a650b9232d0a 100755 (executable)
--- a/scripts/common/coverity.sh
+++ b/scripts/common/coverity.sh
@@ -183,7 +183,7 @@ autotools)
 linux-rseq)
     make defconfig
     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"
+    cov-build --dir "$RESULTS_DIR" $COVERITY_SCAN_BUILD_OPTIONS make -j"$NPROC" kernel/rseq.o kernel/do_on_cpu/core.o kernel/do_on_cpu/interpreter.o kernel/do_on_cpu/validate.o V=1
     ;;
 *)
     echo "Unsupported build type: $BUILD_TYPE"