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
This commit is contained in:
Harald Welte 2020-02-08 13:28:54 +01:00
parent a42c3c1900
commit fcad862f86
1 changed files with 6 additions and 0 deletions

View File

@ -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 }}"