chiark / gitweb /
build: error properly if an invalid ndk is used