Re: [PATCH 6/8] run-coverity-scan: use --no-update-tools in docker run

[Peter Maydell]

On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini <pbonz...@redhat.com> wrote:
>
> Tools are already updated via the docker build.
>
> Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
> ---
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>

thanks
-- PMM