diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2022-07-12 13:54:52 +0200 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2022-07-12 14:44:52 +0200 |
| commit | ff94d1def5d0ef80573686c3ab28831426dfb6c0 (patch) | |
| tree | f074664824b476c0e5dfcbe34839b54ec8930a59 | |
| parent | e58c2087062781a31b73c6aa0c9a9d4f9ace5895 (diff) | |
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
| -rwxr-xr-x | coverity/jenkins.sh | 4 | ||||
| -rw-r--r-- | jobs/coverity.yml | 2 |
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: |