diff options
| author | Harald Welte <laforge@osmocom.org> | 2020-02-08 13:28:54 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@osmocom.org> | 2020-02-08 13:28:54 +0100 |
| commit | fcad862f86b281abc475ba9b7a035cd8f01e37ae (patch) | |
| tree | 6c60541ea1b6968a11de237c740388de2a92b908 /ansible | |
| parent | a42c3c19008ad18638f579a2ed5ad496f6bc4d29 (diff) | |
coverity: Our coverity job needs curl; install it
curl \
--form token="$token" \
--form email=holger@freyther.de --form file=@Osmocom.tgz \
--form version=Version --form description=AutoUpload \
https://scan.coverity.com/builds?project=Osmocom
./jenkins.sh: line 39: curl: command not found
Change-Id: Ibf4a40860fe6c8424a60672dc4758b9f17c532a3
Diffstat (limited to 'ansible')
| -rw-r--r-- | ansible/roles/install-coverity/tasks/main.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ansible/roles/install-coverity/tasks/main.yml b/ansible/roles/install-coverity/tasks/main.yml index 886dda2..55fa77f 100644 --- a/ansible/roles/install-coverity/tasks/main.yml +++ b/ansible/roles/install-coverity/tasks/main.yml @@ -1,4 +1,10 @@ --- +- name: install coverity-required debian packages + apt: + name: "{{ item }}" + with_items: + - curl + - name: copy coverity installer copy: src: "{{ coverity_installer_file }}" |