build.py: add back random ordering
authorHelmut Grohne <helmut@subdivi.de>
Sat, 23 Mar 2019 12:22:47 +0000 (13:22 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 23 Mar 2019 12:22:47 +0000 (13:22 +0100)
Otherwise "any" builds will always schedule for arm64.

build.py

index d83686c..6a40dd3 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -54,7 +54,8 @@ def main():
                     JOIN depcheck
                         ON d.architecture = depcheck.architecture
                 WHERE d.satisfiable = 1 AND depcheck.giveback = 0
-                ORDER BY r.priority DESC, r.requesttime ASC LIMIT 1;""")
+                ORDER BY r.priority DESC, r.requesttime ASC, random()
+                LIMIT 1;""")
         row = cur.fetchone()
         if not row:
             cur.execute("""