projects / qemu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7265905) | patch
run-coverity-scan: add --no-update-tools option
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 22 Apr 2020 15:37:55 +0000 (11:37 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 10 Jun 2020 16:09:33 +0000 (12:09 -0400)
commitb99b007905f06042435ebc6fbcbe66ee34a7b596
treecb59387a2778e20ac8bbb1a7acb964df4c1179a4tree | snapshot
parent726590594071a458643a00160aa659dd5f663b72commit | diff
run-coverity-scan: add --no-update-tools option

Provide a quick way to skip building the container while we figure out how
to get caching right.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/coverity-scan/run-coverity-scan diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.