lynxis lazus uploaded patch set #2 to this change.

View Change

install-coverity: ensure it's not installed twice

Check if the coverity path already exists. Even this wouldn't
detect if the coverity has been only installed half way.

Related: OS#5801
Change-Id: I95549983bb6bd47e04eb37c73afe5409637f87d3
---
M ansible/roles/install-coverity/tasks/main.yml
1 file changed, 35 insertions(+), 30 deletions(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/17/30917/2

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

Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I95549983bb6bd47e04eb37c73afe5409637f87d3
Gerrit-Change-Number: 30917
Gerrit-PatchSet: 2
Gerrit-Owner: lynxis lazus <lynxis@fe80.eu>
Gerrit-Reviewer: Jenkins Builder
Gerrit-MessageType: newpatchset