diff options
author | Alexander Couzens <lynxis@fe80.eu> | 2023-01-10 01:41:27 +0100 |
---|---|---|
committer | laforge <laforge@osmocom.org> | 2023-03-23 08:52:06 +0000 |
commit | 607cedc30854819782acac774aadbb0894202ce9 (patch) | |
tree | a427a083e12b72fc2f6955b722d4e3424ea2b408 /ansible/setup-obs-worker.yml | |
parent | f2e49f051ce3bc066c9227066fdca3a522125c75 (diff) |
ansible: 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
Diffstat (limited to 'ansible/setup-obs-worker.yml')
0 files changed, 0 insertions, 0 deletions