Message ID | 3fd879ddde189866b89708d5f0c67d52e74cd120.1407343550.git.yann.morin.1998@free.fr |
---|---|
State | Accepted |
Headers | show |
diff --git a/support/download/git b/support/download/git index 6edaa90..d451530 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