Commit 9d1ab432 authored by Peter Seiderer's avatar Peter Seiderer Committed by Thomas Petazzoni
Browse files

support/download: fix the git helper

parent 10b6d100
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -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