2 Commits

Include renames

Author	SHA1	Message	Date
Evegeny Vereshchagin	3b8e98818d	coverity.sh: check that coverity responds with 200 ... This is mostly inspired by https://github.com/pmem/pmdk/commit/7b103fd2dd54b2e5974f71fb65c81ab3713c12c5 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