summaryrefslogtreecommitdiff
path: root/tools/coverity.sh
AgeCommit message (Expand)AuthorFilesLines
2018-06-25coverity.sh: fail if uploading data to Coverity Scan is forbiddenEvegeny Vereshchagin1-1/+1
2018-06-25coverity.sh: use a comma to separate module namesEvegeny Vereshchagin1-1/+1
2018-06-25coverity.sh: make the script compatible with Python 3Evegeny Vereshchagin1-2/+2
2018-06-25coverity.sh: fix a couple indentsEvegeny Vereshchagin1-2/+2
2018-06-07coverity.sh: check that coverity responds with 200Evegeny Vereshchagin1-1/+10
2018-03-12Rename scripts/coverity.sh to tools/coverity.shZbigniew Jędrzejewski-Szmek1-0/+224