2 Commits

Author	SHA1	Message	Date
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