diff --git a/Build/Jenkins/update-neos-ui-compiled.sh b/Build/Jenkins/update-neos-ui-compiled.sh index 1db1772664..3e918df067 100755 --- a/Build/Jenkins/update-neos-ui-compiled.sh +++ b/Build/Jenkins/update-neos-ui-compiled.sh @@ -38,11 +38,7 @@ make clean && make setup NEOS_UI_VERSION="${GIT_TAG:-${GIT_BRANCH#*/}-dev}" make build-production rm -Rf tmp_compiled_pkg -git clone git@github.com:neos/neos-ui-compiled.git tmp_compiled_pkg -cd tmp_compiled_pkg -git checkout "$GIT_BRANCH" -cd .. - +git clone --depth 1 git@github.com:neos/neos-ui-compiled.git --single-branch --branch=${GIT_BRANCH} tmp_compiled_pkg mkdir -p tmp_compiled_pkg/Resources/Public/Build