aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan/run-coverity-scan
AgeCommit message (Expand)AuthorFilesLines
2020-08-05Get rid of the libqemustub.a remaindersThomas Huth1-3/+0
2020-06-10run-coverity-scan: support --update-tools-only --dockerPaolo Bonzini1-16/+23
2020-06-10run-coverity-scan: download tools outside the containerPaolo Bonzini1-20/+22
2020-06-10run-coverity-scan: use --no-update-tools in docker runPaolo Bonzini1-6/+5
2020-06-10run-coverity-scan: add --no-update-tools optionPaolo Bonzini1-14/+23
2020-06-10run-coverity-scan: use docker.pyPaolo Bonzini1-11/+21
2020-06-10run-coverity-scan: get Coverity token and email from special git config sectionPaolo Bonzini1-9/+15
2020-04-14scripts/coverity-scan: Add Docker supportPeter Maydell1-0/+90
2020-04-14scripts/run-coverity-scan: Script to run Coverity Scan buildPeter Maydell1-0/+311