aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan/run-coverity-scan
AgeCommit message (Expand)AuthorFilesLines
2022-04-27Replacing CONFIG_VNC_PNG with CONFIG_PNGKshitij Suri1-1/+1
2022-02-09drop libxml2 checks since libxml is not actually used (for parallels)Michael Tokarev1-1/+1
2022-01-12block/file-posix: Simplify the XFS_IOC_DIOINFO handlingThomas Huth1-1/+1
2021-07-06coverity-scan: switch to vpath buildPaolo Bonzini1-3/+5
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