chiark / gitweb /
buildserver: extract NDK rather than executing it