summaryrefslogtreecommitdiff
path: root/script/coverity.sh
Commit message (Expand)AuthorAgeFilesLines
* coverity: check for Coverity token only if necessaryPatrick Steinhardt2016-10-311-3/+3
* coverity: only analyze the master branch of the main repositoryPatrick Steinhardt2016-10-281-3/+3
* coverity: fix download URLPatrick Steinhardt2016-10-281-2/+1
* coverity: report errors when uploading tarballPatrick Steinhardt2016-03-111-2/+16
* coverity: use https URL for posting buildPatrick Steinhardt2016-02-101-2/+1
* coverity: provide nodef for GITERR_CHECK_ALLOCPatrick Steinhardt2016-02-101-0/+2
* Run shell scripts through shellcheckUngureanu Marius2014-11-201-11/+11
* Refine build limitationBen Straub2014-01-151-2/+7
* Only run coverity on developmentBen Straub2014-01-151-0/+3
* Add coverity-scan scriptBen Straub2014-01-131-0/+49