On Tue, 21 Nov 2023 at 17:05, Paolo Bonzini 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
> Signed-off-by: Paolo Bonzi
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
Signed-off-by: Paolo Bonzini
---
scripts/coverity-scan/run-coverity-scan | 4 ++--
1 file
