Re: [PATCH 7/8] run-coverity-scan: download tools outside the container

[Peter Maydell]

On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini <pbonz...@redhat.com> wrote:
>
> This lets us look at coverity_tool.md5 across executions of run-coverity-scan
> and skip the download.
>
> Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>

Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>

thanks
-- PMM