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)
commit594575d553cec98ff5d9f10d5543a26dd3ee2967
treef2ec11a5ee414cf82798e069baf67cf1920917f2
parent67c979e59f730a9a18b99844080ca721f6ea12d6
build.py: add back random ordering

Otherwise "any" builds will always schedule for arm64.
build.py