diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-05-18 12:24:27 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-05-22 12:39:29 +0000 |
commit | e7d5650aae246995cfbd57dda507be6d71e5492f (patch) | |
tree | f198b6d7d3e7c0346d806e5d7854a0e34d0903f8 | |
parent | 236ee4d248a1de157c49eb7fcc59896548a9909e (diff) |
jenkins-helpers.sh: Improve clone_or_update_repo.
Change-Id: Ib337fe33afcb4de13d819ecc05e4722ad2504a3e
-rw-r--r-- | jenkins-helpers.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 363afa33..1ead1251 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -145,6 +145,11 @@ clone_or_update_repo () # Convert git branch/tag names into SHA1 local sha1 sha1=$(git ls-remote "$url" "$ref" | cut -f 1) + if [ x"$sha1" = x"" ]; then + # If "git ls-remote" can't resolve $ref, then assume it is + # already SHA1. + sha1="$ref" + fi # Update from URL. git remote set-url origin "$url" |