projects / qemu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b99b007) | patch
run-coverity-scan: use --no-update-tools in docker run
authorPaolo Bonzini <pbonzini@redhat.com>
Wed, 22 Apr 2020 15:43:14 +0000 (11:43 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 10 Jun 2020 16:09:33 +0000 (12:09 -0400)
commit3077453cf965c999ae0aaab46c566edf74f8e0b4
tree35c03e8e5a049bd139a396bb239e08832fdead21tree | snapshot
parentb99b007905f06042435ebc6fbcbe66ee34a7b596commit | diff
run-coverity-scan: use --no-update-tools in docker run

Tools are already updated via the docker build.

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.