Evegeny Vereshchagin
|
f3a020d153
|
coverity.sh: fail if uploading data to Coverity Scan is forbidden
|
2018-06-25 22:22:29 +00:00 |
|
Evegeny Vereshchagin
|
1e79d09ef9
|
coverity.sh: use a comma to separate module names
Otherwise Python bails out with
```
Traceback (most recent call last):
File "<string>", line 1, in <module>
NameError: name 'json' is not defined
```
See https://travis-ci.org/systemd/systemd/jobs/397490437
|
2018-06-25 22:02:41 +00:00 |
|
Evegeny Vereshchagin
|
096eec29cd
|
coverity.sh: make the script compatible with Python 3
|
2018-06-25 21:59:28 +00:00 |
|
Evegeny Vereshchagin
|
eeeaebf9c5
|
coverity.sh: fix a couple indents
|
2018-06-25 21:57:43 +00:00 |
|
Evegeny Vereshchagin
|
3b8e98818d
|
coverity.sh: check that coverity responds with 200
This is mostly inspired by 7b103fd2dd
Closes https://github.com/systemd/systemd/issues/9186.
|
2018-06-07 17:49:54 +00:00 |
|
Zbigniew Jędrzejewski-Szmek
|
748c59b110
|
Rename scripts/coverity.sh to tools/coverity.sh
There are only two files in tools/, I don't think we need a separate
directory for them.
|
2018-03-12 15:39:21 +01:00 |
|