osmith submitted this change.

View Change

Approvals: Jenkins Builder: Verified fixeria: Looks good to me, but someone else must approve pespin: Looks good to me, but someone else must approve osmith: Looks good to me, approved
jobs/coverity: don't cd ~/osmo-ci/coverity

Run the coverity/jenkins.sh from the osmo-ci.git repository that jenkins
checks out at the beginning of the build, instead of using a copy in ~/
that is updated whenever pushing to master. This makes it less
confusing, I configured the job to use a WIP branch and didn't realize
that it still used the code from master.

Change-Id: Ie992d71d2afec6982447b8fe3626c821a9e48d19
---
M coverity/jenkins.sh
M jobs/coverity.yml
2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh
index b02b82e..64d21de 100755
--- a/coverity/jenkins.sh
+++ b/coverity/jenkins.sh
@@ -3,8 +3,8 @@

set -e -x

-base_dir="$PWD"
-src_dir="$base_dir/source-Osmocom"
+base_dir="$HOME/osmo-ci/coverity"
+src_dir="$PWD/source-Osmocom"
cov_dir="$src_dir/cov-int"

rm -rf "$src_dir"
diff --git a/jobs/coverity.yml b/jobs/coverity.yml
index 88b8a49..980c30c 100644
--- a/jobs/coverity.yml
+++ b/jobs/coverity.yml
@@ -13,7 +13,7 @@
node: coverity
builders:
- shell: |
- cd $HOME/osmo-ci/coverity
+ cd coverity
export PATH=$PATH:/opt/coverity/current/bin
./jenkins.sh
publishers:

To view, visit change 28579. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: Ie992d71d2afec6982447b8fe3626c821a9e48d19
Gerrit-Change-Number: 28579
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <osmith@sysmocom.de>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <vyanitskiy@sysmocom.de>
Gerrit-Reviewer: osmith <osmith@sysmocom.de>
Gerrit-Reviewer: pespin <pespin@sysmocom.de>
Gerrit-MessageType: merged