From 594575d553cec98ff5d9f10d5543a26dd3ee2967 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Sat, 23 Mar 2019 13:22:47 +0100
Subject: build.py: add back random ordering

Otherwise "any" builds will always schedule for arm64.
---
 build.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.py b/build.py
index d83686c..6a40dd3 100755
--- 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("""
-- 
cgit v1.2.3