commit ed5c9397d8b3495216f82a8aeeb7388c3ae8d614
author Dean Birch <dean.birch@arm.com> Wed May 13 14:24:32 2020 +0100
committer Dean Birch <dean.birch@arm.com> Thu May 28 14:26:34 2020 +0100
tree 1f03f8d6a091d626da057a90df38670a72af3622
parent d6ce2c8c8c6d687a24f4edfbe18be08352a7ebb8

CMSIS_5 pack file mirror optional

Allow the Jenkins instance to optionally mirror the CMSIS_5 5.5.0 pack
file, and if not present, download from original place.

Change-Id: I688a1f93dad4eb56c05cee6f9b1a20ad38782435
Signed-off-by: Dean Birch <dean.birch@arm.com>

jenkins/build-docs.jpl

diff --git a/jenkins/build-docs.jpl b/jenkins/build-docs.jpl
index 983bf16..044dd45 100644
--- a/jenkins/build-docs.jpl
+++ b/jenkins/build-docs.jpl
@@ -45,7 +45,13 @@
     sh """
 # Host https://github.com/Arm-software/CMSIS_5/releases/download/5.5.0/ARM.CMSIS.5.5.0.pack
 # under \$JENKINS_HOME/userContent
+set +e
 wget -O cmsis.pack -q \${JENKINS_URL}/userContent/ARM.CMSIS.${CMSIS_VERSION}.pack
+if [ "\$?" != "0" ] ; then
+set -e
+wget -O cmsis.pack -q https://github.com/Arm-software/CMSIS_5/releases/download/${CMSIS_VERSION}/ARM.CMSIS.${CMSIS_VERSION}.pack
+fi
+set -e
 unzip -o -d CMSIS_5 cmsis.pack
 """
   }