diff options
Diffstat (limited to 'core/includes')
| -rw-r--r-- | core/includes/downloader.inc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/core/includes/downloader.inc b/core/includes/downloader.inc index 4d4d23ba..7de0945d 100644 --- a/core/includes/downloader.inc +++ b/core/includes/downloader.inc @@ -110,6 +110,12 @@ download_if_empty() { download "$SRC" "$DST" } +# Clone the REQUIRED_GIT git repositories. +# Syntax is: +# <url> +# <url>|branch +# <url>||commit-ish +# Second syntax is mostly for git servers that don't accept a non-branch when shallow-cloning autoclone () { [ -z "$REQUIRED_GIT" ] && return 0 local url branch dst dstdir checkout |