From: Michael Jeanson <mjeanson@efficios.com>
Date: Mon, 7 Oct 2019 21:30:51 +0000 (-0400)
Subject: jjb: Fix rseq coverity build
X-Git-Url: https://git.lttng.org./?a=commitdiff_plain;h=2dad93550785131019ec8192167938b80a21d297;p=lttng-ci.git

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 dce0f84..951b1cf 100644
--- 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 80fc649..52db835 100755
--- 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"