osmith has submitted this change. ( https://gerrit.osmocom.org/c/osmo-ci/+/28579 )

Change subject: jobs/coverity: don't cd ~/osmo-ci/coverity ......................................................................

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(-)

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

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: