diff options
| author | Paweł Krupa <pawel@krupa.net.pl> | 2018-09-29 01:01:21 +0200 |
|---|---|---|
| committer | Costa Tsaousis <costa@tsaousis.gr> | 2018-09-29 02:01:21 +0300 |
| commit | 986e32a03b2f01ac09b23d7f1be28a2799d7fd3b (patch) | |
| tree | 05fe64688cbf9b1c0c19a13257a5e36918ca3bae /.travis.yml | |
| parent | f8b161eb00ec852350057f404e0c207c3c5192e2 (diff) | |
install some libs for coverity (#4314)
* install some libs for coverity
* coverity tests shouldn't block release
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 4fd6ce7a7f..54e9f8d7fe 100644 --- a/.travis.yml +++ b/.travis.yml @@ -42,7 +42,8 @@ jobs: # - name: "Node.js" # script: tests/run_nodejs.sh - name: "coverity" - script: ./coverity-scan.sh + install: sudo apt-get install -y zlib1g-dev uuid-dev libipmimonitoring-dev libmnl-dev libnetfilter-acct-dev + script: ./coverity-scan.sh || echo "Coverity failed :(" env: INSTALL_COVERITY="true" if: type = cron - stage: "build" |