coverity: update tool download URL

Coverity changes its tool download URL every once in a while; update
our scripts for the newest URL.

Signed-off-by: Jeff Squyres <[email protected]>

Author: jsquyres

contrib/build-server/openmpi-nightly-coverity.pl

@@ -8,6 +8,8 @@
 use File::Basename;
 
 my $coverity_project = "Open+MPI";
+# Coverity changes this URL periodically
+my $coverity_tool_url = "https://scan.coverity.com/download/cxx/linux64";
 
 my $filename_arg;
 my $coverity_token_arg;
@@ -103,7 +105,7 @@ sub safe_system {
 my $now = time();
 if (!defined($mtime) || $mtime < $now - 24*60*60) {
     verbose "*** Downloading new copy of the coverity tool\n";
-    safe_system(0, "wget https://scan.coverity.com/download/linux-64 --post-data \"token=$coverity_token_arg\&project=$coverity_project\" -O coverity_tool.tgz");
+    safe_system(0, "wget $coverity_tool_url --post-data \"token=$coverity_token_arg\&project=$coverity_project\" -O coverity_tool.tgz");
     safe_system(0, "cp coverity_tool.tgz $cdir");
 }
 

contrib/build-server/pmix-nightly-coverity.pl

@@ -8,6 +8,8 @@
 use File::Basename;
 
 my $coverity_project = "open-mpi%2Fpmix";
+# Coverity changes this URL periodically
+my $coverity_tool_url = "https://scan.coverity.com/download/cxx/linux64";
 
 my $filename_arg;
 my $coverity_token_arg;
@@ -103,7 +105,7 @@ sub safe_system {
 my $now = time();
 if (!defined($mtime) || $mtime < $now - 24*60*60) {
     verbose "*** Downloading new copy of the coverity tool\n";
-    safe_system(0, "wget https://scan.coverity.com/download/linux-64 --post-data \"token=$coverity_token_arg\&project=$coverity_project\" -O coverity_tool.tgz");
+    safe_system(0, "wget $coverity_tool_url --post-data \"token=$coverity_token_arg\&project=$coverity_project\" -O coverity_tool.tgz");
     safe_system(0, "cp coverity_tool.tgz $cdir");
 }