| commit | b99b007905f06042435ebc6fbcbe66ee34a7b596 | |
| author | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 22 Apr 2020 15:37:55 +0000 (22 11:37 -0400) | ||
| committer | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 10 Jun 2020 16:09:33 +0000 (10 12:09 -0400) | ||
| tree | cb59387a2778e20ac8bbb1a7acb964df4c1179a4 | treesnapshot (tar.gz zip) |
| parent | 726590594071a458643a00160aa659dd5f663b72 | commitdiff |
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>
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 | diffblobblamehistory |