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 /ansible | |
| 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
Diffstat (limited to 'ansible')
0 files changed, 0 insertions, 0 deletions