Paolo Bonzini fbb84f0741 run-coverity-scan: support --update-tools-only --docker ... Just build the container when run-coverity-scan is invoked with --update-tools-only --docker. This requires moving the "docker build" logic into the update_coverity_tools function. The only snag is that --update-tools-only --docker requires access to the dockerfile. For now just report an error for --src-tarball, and "docker build" will fail if not in a source tree. Another possibility could be to host our container images on a public registry, and use "FROM qemu:fedora" to make the Dockerfile small enough that it can be included directly in the run-coverity-scan script. Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>		2020-06-10 12:09:34 -04:00
..
coverity-scan.docker	run-coverity-scan: download tools outside the container	2020-06-10 12:09:33 -04:00
run-coverity-scan	run-coverity-scan: support --update-tools-only --docker	2020-06-10 12:09:34 -04:00