chiark / gitweb /
Properly default to NDK r10e