From 2c82ba452d4a8900ea6b089dd55d6a08667dbd81 Mon Sep 17 00:00:00 2001
From: Matt Rendina <rendinam@users.noreply.github.com>
Date: Fri, 11 Dec 2020 16:36:22 -0500
Subject: Change download tool preference order and adjust wget flags

---
 jenkins/dispatch.groovy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'jenkins')

diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy
index dfa5084..1601c58 100644
--- a/jenkins/dispatch.groovy
+++ b/jenkins/dispatch.groovy
@@ -197,8 +197,8 @@ node(LABEL) {
         if (CONDA_BASE_URL[-1..-1] == "/") {
             CONDA_BASE_URL = [0..-2]
         }
-        def dl_cmds = ["wget --no-verbose --server-response --no-check-certificate",
-                       "curl -LOSs"]
+        def dl_cmds = ["curl -LOSs",
+                       "wget --no-verbose --server-response"]
         def dl_cmd = null
         def stat1 = 999
         for (cmd in dl_cmds) {
-- 
cgit