Circle CIでビルドしているプロジェクトのBuildToolsのバージョンを23.0.2にしたところ、android update sdkに、「そんなバージョンはない」と言われるようになった。
Error: Ignoring unknown package filter 'build-tools-23.0.2'
原因はandroid update sdkの中にtoolsを含めていなかったという、完全な僕の不注意。
echo y | android update sdk --no-ui --all --filter tools
を、スクリプトに足して無事解決。
toolsを更新しないと見に行かないリポジトリがあるんだね……