diff --git a/scripts/src/main/resources/scripts/functions b/scripts/src/main/resources/scripts/functions index efa8a3e17..00ea552a7 100755 --- a/scripts/src/main/resources/scripts/functions +++ b/scripts/src/main/resources/scripts/functions @@ -734,8 +734,8 @@ function doGitPullOrClone() { then doFail "Not a git repository: ${1}" else - doRunCommand "git clone '${2}' '${1}' --config core.autocrlf=false" - if [ -z "${3}" ] + doRunCommand "git clone --recursive '${2}' '${1}' --config core.autocrlf=false" + if [ -n "${3}" ] then pushd "${1}" || exit 255 doRunCommand "git checkout ${3}"