diff options
| author | Paolo Bonzini | 2020-04-22 17:49:40 +0200 |
|---|---|---|
| committer | Paolo Bonzini | 2020-06-10 18:09:33 +0200 |
| commit | 2e90470e90d660ed03321ba677fba2d5208bc6e4 (patch) | |
| tree | 8ddc2e887a5a1b279520669a8b5122b5f4702260 /blockdev.c | |
| parent | run-coverity-scan: use --no-update-tools in docker run (diff) | |
| download | qemu-2e90470e90d660ed03321ba677fba2d5208bc6e4.tar.gz qemu-2e90470e90d660ed03321ba677fba2d5208bc6e4.tar.xz qemu-2e90470e90d660ed03321ba677fba2d5208bc6e4.zip | |
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>
Diffstat (limited to 'blockdev.c')
0 files changed, 0 insertions, 0 deletions