diff options
author | Matt Rendina <rendinam@users.noreply.github.com> | 2020-12-11 16:36:22 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-11 16:36:22 -0500 |
commit | 2c82ba452d4a8900ea6b089dd55d6a08667dbd81 (patch) | |
tree | 6c4d0aec1010689b588f9337b83ab684d8962dec /jenkins | |
parent | 2a82bf09f1ad4df41a6ade5c8ecf852e15802aad (diff) | |
download | build_control-master.tar.gz |
Diffstat (limited to 'jenkins')
-rw-r--r-- | jenkins/dispatch.groovy | 4 |
1 files changed, 2 insertions, 2 deletions
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) { |