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 /gdb-xml/arm-vfp3.xml | |
| parent | 726590594071a458643a00160aa659dd5f663b72 (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>
Diffstat (limited to 'gdb-xml/arm-vfp3.xml')
0 files changed, 0 insertions, 0 deletions