tree 308d7d3ab887e2c4456f01012b1bd4e5d13af573
parent a9afdbf4a5956da0f243e7a376d2b69f905d7898
author Xinyu Zhang <xinyu.zhang@arm.com> 1689647486 +0800
committer Xinyu Zhang <xinyu.zhang@arm.com> 1689648039 +0800

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