osmith has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/37231?usp=email )

Change subject: jobs/coverity: fix clean up permission errors ......................................................................

jobs/coverity: fix clean up permission errors

Don't mount the host's osmo-ci/coverity dir in /build/osmo-ci/coverity. The current working dir is mounted as /build, and because docker creates the /build/osmo-ci directory structure as root, we end up with having subdirectories created by root in our current working dir. These then cause an error on the next run when jenkins tries to clean them up.

Fixes: 6a2451a0 ("jobs/coverity: adjust mount path to new home dir") Change-Id: Ie0aa02d3821df6d0505748a7dd70ff67e4cf1405 --- M coverity/jenkins.sh M jobs/coverity.yml 2 files changed, 18 insertions(+), 2 deletions(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/31/37231/1

diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh index b33ae86..d19b93c 100755 --- a/coverity/jenkins.sh +++ b/coverity/jenkins.sh @@ -7,7 +7,7 @@

export PATH=$PATH:/opt/coverity/current/bin

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

diff --git a/jobs/coverity.yml b/jobs/coverity.yml index 8159940..d7492c4 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:/build/osmo-ci/coverity:ro" \ + -v "$HOME/osmo-ci/coverity:/opt/osmo-ci/coverity:ro" \ -v "/opt/coverity:/opt/coverity:ro" \ -w /build/coverity \ "$USER/debian-bookworm-build" \