chiark / gitweb /
jenkins-test: ./run-tests needs ANDROID_HOME