osmith has uploaded this change for review.

View Change

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 change 35269. To unsubscribe, or for help writing mail filters, visit settings.