On 1 May 2017 at 14:40, Iain Buclaw <ibuclaw at gdcproject.org> wrote: > So that's 3 build servers - 1x ARM7, 1x ARM8, and 1x x86. ;-) With the latter also testing all crosses we can do (there are 18 different gdc cross-compilers in Ubuntu, for 12 distinct architectures).