diff --git a/Installation/Jenkins/build.sh b/Installation/Jenkins/build.sh index a40a15ac7c..b37f90e7a9 100755 --- a/Installation/Jenkins/build.sh +++ b/Installation/Jenkins/build.sh @@ -607,8 +607,8 @@ if test -n "${ENTERPRISE_GIT_URL}" ; then fi else git checkout master; - git pull --tags; git pull --all; + git fetch --tags; git checkout ${GITARGS}; fi ${FINAL_PULL}