From 2dad93550785131019ec8192167938b80a21d297 Mon Sep 17 00:00:00 2001 From: Michael Jeanson Date: Mon, 7 Oct 2019 17:30:51 -0400 Subject: [PATCH] jjb: Fix rseq coverity build Signed-off-by: Michael Jeanson --- jobs/linux-rseq.yaml | 1 + scripts/common/coverity.sh | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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" -- 2.34.1