commit | 81a541e9f0838753d06d61b026688bea1eba7c0b | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Mon Nov 20 16:04:31 2023 -0500 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Fri Nov 24 16:21:55 2023 +0100 |
tree | 9d1ce2056611e512e158e19869b978c2629b14cf | |
parent | 9abbb37535b27321e9f7bde38a6996343b2bc5f2 [diff] |
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>