From e10ad350341fc1113857dc8ab80e78d13238b5d9 Mon Sep 17 00:00:00 2001
From: Damien Duportal <damien.duportal@gmail.com>
Date: Thu, 5 May 2022 12:20:06 +0200
Subject: [PATCH] chore(Jenkinsfile) switch WAR download to
 https://get.jenkins.io

Ref. https://github.com/jenkins-infra/helpdesk/issues/2888

This change also uses long flags for `curl` and shows if an error happens during the download (easier to diagnose)
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b1c6f0038..5749ea4ed 100755
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -67,7 +67,7 @@ itBranches['buildtriggerbadge:2.11 tests success on JDK11'] = {
 
         stage('Download Jenkins 2.164.1') {
             sh '''
-            curl -sL http://mirrors.jenkins.io/war-stable/2.164.1/jenkins.war --output jenkins.war
+            curl --silent --show-error --location https://get.jenkins.io/war-stable/2.164.1/jenkins.war --output jenkins.war
             echo "65543f5632ee54344f3351b34b305702df12393b3196a95c3771ddb3819b220b jenkins.war" | sha256sum --check
             '''
         }