[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] scripts: adjust url to Coverity tools
|
From: |
Peter Maydell |
|
Subject: |
Re: [PATCH] scripts: adjust url to Coverity tools |
|
Date: |
Tue, 21 Nov 2023 17:32:00 +0000 |
On Tue, 21 Nov 2023 at 17:05, Paolo Bonzini <pbonzini@redhat.com> wrote:
>
> The URL to the Coverity tools download has changed; the old one points
> to an obsolete version that is not supported anymore. Adjust to point
> to the correct and supported tools.
>
> Suggested-by: Peter Maydell <peter.maydell@linaro.org>
> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
> ---
> scripts/coverity-scan/run-coverity-scan | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
thanks
-- PMM