aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan
AgeCommit message (Expand)Author
2020-06-12Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into stagingPeter Maydell
2020-06-10run-coverity-scan: support --update-tools-only --dockerPaolo Bonzini
2020-06-10run-coverity-scan: download tools outside the containerPaolo Bonzini
2020-06-10run-coverity-scan: use --no-update-tools in docker runPaolo Bonzini
2020-06-10run-coverity-scan: add --no-update-tools optionPaolo Bonzini
2020-06-10run-coverity-scan: use docker.pyPaolo Bonzini
2020-06-10run-coverity-scan: get Coverity token and email from special git config sectionPaolo Bonzini
2020-06-08scripts/coverity-scan: Remove flex/bison packagesPhilippe Mathieu-Daudé
2020-04-14scripts/coverity-scan: Add Docker supportPeter Maydell
2020-04-14scripts/run-coverity-scan: Script to run Coverity Scan buildPeter Maydell