diff --git a/jenkins-build-all b/jenkins-build-all index 6ae96767..cbac12c2 100755 --- a/jenkins-build-all +++ b/jenkins-build-all @@ -95,6 +95,9 @@ else sed -i '/^wiki_/d' config.yml fi +# force global timeout to 6 hours +sed -Ei 's,^(\s+endtime\s*=\s*time\.time\(\))\s*.*,\1 + 6 * 60 * 60 # 6 hours,' fdroidserver/build.py + $WORKSPACE/fdroid build --verbose --latest --no-tarball --all $wikiflag vagrant global-status