| commit | 63195e852c46f4b755f2e0ea7a4a2ca986b05a24 | [log] [tgz] |
|---|---|---|
| author | Xinyu Zhang <xinyu.zhang@arm.com> | Tue Jul 18 10:31:26 2023 +0800 |
| committer | Xinyu Zhang <xinyu.zhang@arm.com> | Tue Jul 18 10:40:39 2023 +0800 |
| tree | 308d7d3ab887e2c4456f01012b1bd4e5d13af573 | |
| parent | a9afdbf4a5956da0f243e7a376d2b69f905d7898 [diff] |
clone.sh: Skip cloning if dependency repo is not defined If dependency repo URL is not defined in a Jenkins job, it means that this dependency is not necessary in current job. So skip cloning this dependency repo in current job to save resources. Signed-off-by: Xinyu Zhang <xinyu.zhang@arm.com> Change-Id: Ib6d07b14658b36184e982c64f2b1f7a38cc4e8c7