]> git.proxmox.com Git - mirror_qemu.git/commit
run-coverity-scan: download tools outside the container
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 22 Apr 2020 15:49:40 +0000 (11:49 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 10 Jun 2020 16:09:33 +0000 (12:09 -0400)
commit2e90470e90d660ed03321ba677fba2d5208bc6e4
tree8ddc2e887a5a1b279520669a8b5122b5f4702260
parent3077453cf965c999ae0aaab46c566edf74f8e0b4
run-coverity-scan: download tools outside the container

This lets us look at coverity_tool.md5 across executions of run-coverity-scan
and skip the download.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-scan/coverity-scan.docker
scripts/coverity-scan/run-coverity-scan