It is possible to build other ports for the Android Operating System as well. PLATFORM(ANDROID) should not be automatically enabled.
Created attachment 91840 [details] Patch
Comment on attachment 91840 [details] Patch That makes a lot of sense. It's probably a good idea to double-check with Steve Block before landing.
Comment on attachment 91840 [details] Patch Thanks Adam and Holger. This looks correct to me. Assuming that Adam's r- was just to give me chance to have a look, r+
> Assuming that Adam's r- was just to give me chance to have a look, r+ It was actually just a mis-click. :)
Landed in r86432.