osmith submitted this change.

View Change

1 is the latest approved patch-set.
No files were changed between the latest approved patch-set and the submitted one.

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(-)

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.