summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Welte <laforge@gnumonks.org>2019-04-03 09:52:39 +0200
committerHarald Welte <laforge@osmocom.org>2019-11-23 09:19:10 +0100
commit3038c19155a7a2fb4b075a84449fc09d06bef59a (patch)
tree23b3c13f40c3455f61b207ecbc50de7e173a7f60
parent803216f1fd7058d613000ddeadef59fc043b93d1 (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.yml10
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