osmith has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/35269?usp=email )
Change subject: coverity: readlink /opt/coverity/current ......................................................................
coverity: readlink /opt/coverity/current
Show where the symlink points at the start of the job, so we can see which coverity version is currently installed.
Related: SYS#6685 Change-Id: If4a7c71759a6eb436eb47024565f169c6134e2e2 --- M coverity/jenkins.sh 1 file changed, 15 insertions(+), 0 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/69/35269/1
diff --git a/coverity/jenkins.sh b/coverity/jenkins.sh index dfe3067..b33ae86 100755 --- a/coverity/jenkins.sh +++ b/coverity/jenkins.sh @@ -3,6 +3,8 @@
set -e -x
+readlink /opt/coverity/current + export PATH=$PATH:/opt/coverity/current/bin
base_dir="$HOME/osmo-ci/coverity"
-
osmith