diff options
author | Harald Welte <laforge@gnumonks.org> | 2019-04-03 09:52:39 +0200 |
---|---|---|
committer | Harald Welte <laforge@osmocom.org> | 2019-11-23 09:19:10 +0100 |
commit | 3038c19155a7a2fb4b075a84449fc09d06bef59a (patch) | |
tree | 23b3c13f40c3455f61b207ecbc50de7e173a7f60 | |
parent | 803216f1fd7058d613000ddeadef59fc043b93d1 (diff) |
WIP: coverity: Make sure curl is installed, as our coverity upload job needs it
This is untested. I'm on the train and have very limited understanding
of Ansible
Change-Id: I9918b89971bf6c2e200f1d96d993d5fbd6741b71
-rw-r--r-- | jobs/coverity.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/jobs/coverity.yml b/jobs/coverity.yml index 576fa29..5614fc0 100644 --- a/jobs/coverity.yml +++ b/jobs/coverity.yml @@ -2,9 +2,19 @@ - project: name: osmocom-coverity jobs: + - osmocom-coverity-deps - osmocom-coverity - job: + name: 'osmocom-coverity-deps' + apt: + name: "{{ item }}" + cache_valid_time: 3600 + update_cache: yes + with_items: + - curl + +- job: name: 'osmocom-coverity' project-type: freestyle defaults: global |