diff options
author | Evgeny Vereshchagin <evvers@ya.ru> | 2018-11-07 04:36:57 +0100 |
---|---|---|
committer | Evgeny Vereshchagin <evvers@ya.ru> | 2018-11-07 07:19:51 +0300 |
commit | 13d8a53aaec29eaacec85bfe008e0212d49b1b7a (patch) | |
tree | 229b79ba9b507a03cfccb73c706e7938c4e5f77e /src | |
parent | 844df810b85a0b003f807c9c4378d27a7119c968 (diff) | |
download | systemd-13d8a53aaec29eaacec85bfe008e0212d49b1b7a.tar.gz systemd-13d8a53aaec29eaacec85bfe008e0212d49b1b7a.tar.bz2 systemd-13d8a53aaec29eaacec85bfe008e0212d49b1b7a.zip |
travis: make the directory with coverity tools available in a container
Otherwise `coverity.sh build` will fail with
```
find: '/var/tmp/coverity-scan-analysis': No such file or directory
```
See https://travis-ci.org/systemd/systemd/jobs/451683385.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions