tree 1f03f8d6a091d626da057a90df38670a72af3622
parent d6ce2c8c8c6d687a24f4edfbe18be08352a7ebb8
author Dean Birch <dean.birch@arm.com> 1589376272 +0100
committer Dean Birch <dean.birch@arm.com> 1590672394 +0100

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>