Merge branch 'weblate' into 'master'

[fdroidserver.git] / jenkins-build-all

diff --git a/jenkins-build-all b/jenkins-build-all
index a1ee7c11c8f336c5d7fe76dde39d6fd57e0d1472..2abac58cc5c3b3d07fb76b3bc766a0336f9739bd 100755 (executable)
--- a/jenkins-build-all
+++ b/jenkins-build-all
@@ -65,7 +65,7 @@ cd $WORKSPACE
 # this can be handled in the jenkins job, or here:
 if [ -e fdroiddata ]; then
     cd fdroiddata
-    git remote update -p
+    while ! git fetch origin --tags --prune; do sleep 10; done
     git checkout master
     git reset --hard origin/master
     # keep all the cloned source repos