FWIW, I have both CentOS7 64 and 32, and Ubuntu 14.04 64 and 32 setup to build.
All my builds have been using CentOS7. We may consider switching to Ubuntu
as our "official" community build server for 4.2.x and later.
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to