osmocom
/
osmo-ci
mirror of https://gerrit.osmocom.org/osmo-ci
13
0
Fork 1
Code Releases Activity

jobs/coverity: adjust mount path to new home dir 

With the related docker-playground patch, the home dir for the build
user has actually been changed from /home/build to /build. This doesn't
matter for all other jobs it seems, but the coverity job here fails
because it tries to access $HOME/osmo-ci/coverity.

Adjust the mount path, so it works again as expected.

Fix for:
  ./jenkins.sh: line 37: /build/osmo-ci/coverity/get_token.sh: No such file or directory

Related: docker-playground Ief8837bd9f89f51e66857a453f7fc4645620159f
Change-Id: If0286e10d1644464e9408db1bbf18c24f4b8d5a6
This commit is contained in:
Oliver Smith 2024-06-12 14:53:44 +02:00
parent 3b20d2a281
commit 6a2451a0ad
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jobs/coverity.yml
View File

@ -17,7 +17,7 @@
-e PARALLEL_MAKE="$PARALLEL_MAKE" \
-u build \
-v "$PWD:/build" \
-v "$HOME/osmo-ci/coverity:/home/build/osmo-ci/coverity:ro" \
-v "$HOME/osmo-ci/coverity:/build/osmo-ci/coverity:ro" \
-v "/opt/coverity:/opt/coverity:ro" \
-w /build/coverity \
"$USER/debian-bookworm-build" \