OSDN Git Service

scripts: adjust url to Coverity tools
authorPaolo Bonzini <pbonzini@redhat.com>
Mon, 20 Nov 2023 21:04:31 +0000 (16:04 -0500)
committerPaolo Bonzini <pbonzini@redhat.com>
Fri, 24 Nov 2023 15:21:55 +0000 (16:21 +0100)
commit81a541e9f0838753d06d61b026688bea1eba7c0b
tree9d1ce2056611e512e158e19869b978c2629b14cf
parent9abbb37535b27321e9f7bde38a6996343b2bc5f2
scripts: adjust url to Coverity tools

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