diff options
Diffstat (limited to 'support')
| -rwxr-xr-x | support/download/git | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/support/download/git b/support/download/git index 73cbc0f7d1..fd5f5392dd 100755 --- a/support/download/git +++ b/support/download/git @@ -25,8 +25,13 @@ repo="${2}" cset="${3}" basename="${4}" -# Try to see if we can do a shallow clone, since it is faster -# than a full clone. +# Try a shallow clone, since it is faster than a full clone - but that only +# works if the version is a ref (tag or branch). Before trying to do a shallow +# clone we check if ${cset} is in the list provided by git ls-remote. If not +# we fall back on a full clone. +# +# Messages for the type of clone used are provided to ease debugging in case of +# problems git_done=0 if [ -n "$(${GIT} ls-remote "${repo}" "${cset}" 2>&1)" ]; then printf "Doing shallow clone\n" |
