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" -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/35269?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: If4a7c71759a6eb436eb47024565f169c6134e2e2 Gerrit-Change-Number: 35269 Gerrit-PatchSet: 1 Gerrit-Owner: osmith <osmith(a)sysmocom.de> Gerrit-MessageType: newchange