diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-04-22 11:37:55 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-06-10 12:09:33 -0400 |
| commit | b99b007905f06042435ebc6fbcbe66ee34a7b596 (patch) | |
| tree | cb59387a2778e20ac8bbb1a7acb964df4c1179a4 /io/task.c | |
| parent | 726590594071a458643a00160aa659dd5f663b72 (diff) | |
| download | focaccia-qemu-b99b007905f06042435ebc6fbcbe66ee34a7b596.tar.gz focaccia-qemu-b99b007905f06042435ebc6fbcbe66ee34a7b596.zip | |
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>
Diffstat (limited to 'io/task.c')
0 files changed, 0 insertions, 0 deletions