osmith has submitted this change. (
https://gerrit.osmocom.org/c/osmo-ci/+/37214?usp=email )
Change subject: jobs/coverity: adjust mount path to new home dir
......................................................................
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
---
M jobs/coverity.yml
1 file changed, 21 insertions(+), 1 deletion(-)
Approvals:
fixeria: Looks good to me, approved
Jenkins Builder: Verified
diff --git a/jobs/coverity.yml b/jobs/coverity.yml
index 42c060a..8159940 100644
--- a/jobs/coverity.yml
+++ b/jobs/coverity.yml
@@ -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" \
--
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/37214?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: If0286e10d1644464e9408db1bbf18c24f4b8d5a6
Gerrit-Change-Number: 37214
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <[email protected]>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <[email protected]>
Gerrit-Reviewer: osmith <[email protected]>
Gerrit-MessageType: merged
