osmith submitted this change.

View Change

jobs/coverity: fix path to home dir

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

Fixes: 56bc906e ("coverity: run inside docker")
Change-Id: I87fadd2dffcfaa04eaa942dfb8a496334cb722d5
---
M jobs/coverity.yml
1 file changed, 14 insertions(+), 1 deletion(-)

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

To view, visit change 34227. To unsubscribe, or for help writing mail filters, visit settings.