chiark / gitweb /
build: set overall timeout to 36 hours
authorrelan <email@hidden>
Mon, 12 Feb 2018 10:45:49 +0000 (13:45 +0300)
committerrelan <email@hidden>
Mon, 12 Feb 2018 10:45:53 +0000 (13:45 +0300)
Currently f-droid.org has a lot of pending builds and big delays
between "fdroid build --all" runs. Bump overall build time limit from
12 hours to 36 hours to increase buildserver throughput.

fdroidserver/build.py

index 0b575847199b8db928b1fcdcbe534f34d1693f88..31fcdbb12fefc3765effa6d7827f399f11a252a1 100644 (file)
@@ -1082,8 +1082,8 @@ def main():
     # Build applications...
     failed_apps = {}
     build_succeeded = []
-    # Only build for 12 hours, then stop gracefully
-    endtime = time.time() + 12 * 60 * 60
+    # Only build for 36 hours, then stop gracefully.
+    endtime = time.time() + 36 * 60 * 60
     max_build_time_reached = False
     for appid, app in apps.items():