| commit | ed5c9397d8b3495216f82a8aeeb7388c3ae8d614 | [log] [tgz] |
|---|---|---|
| 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 [diff] |
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>