Merge pull request #14459 from jamessan/pvs-script

fix(pvscheck): Switch URL to pvs-studio.com
This commit is contained in:
James McCoy 2021-04-29 20:05:39 -04:00 committed by GitHub
commit 59eae3b38f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -389,7 +389,7 @@ run_analysis() {(
detect_url() {
local url="${1:-detect}"
if test "$url" = detect ; then
curl --silent -L 'https://www.viva64.com/en/pvs-studio-download/' \
curl --silent -L 'https://pvs-studio.com/en/pvs-studio/download-all/' \
| grep -o 'https\{0,1\}://[^"<>]\{1,\}/pvs-studio[^/"<>]*-x86_64\.tgz' \
|| echo FAILED
else