chiark / gitweb /
buildserver: use `android update sdk` to install Android SDK