diff options
Diffstat (limited to 'support')
-rwxr-xr-x | support/download/git | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/support/download/git b/support/download/git index 6edaa90fe4..d4515301af 100755 --- a/support/download/git +++ b/support/download/git @@ -19,6 +19,7 @@ basename="${4}" # Try to see if we can do a shallow clone, since it is faster # than a full clone. +git_done=0 if [ -n "$(${GIT} ls-remote "${repo}" "${cset}" 2>&1)" ]; then printf "Doing shallow clone\n" if ${GIT} clone --depth 1 -b "${cset}" --bare "${repo}" "${basename}"; then |