chiark / gitweb /
makebuildserver: remove NDK r9b to save 1.6 GB of disk space
authorrelan <email@hidden>
Mon, 12 Feb 2018 06:16:03 +0000 (09:16 +0300)
committerrelan <email@hidden>
Mon, 12 Feb 2018 06:16:55 +0000 (09:16 +0300)
commit76da21f121e40c1844237da340322e46bd0bf7c6
tree220d073313fddbfd2c0d672b1ffd9285d1679f9c
parentbc5bf7e0ec2bdf3f596b512b875f66306979a0cf
makebuildserver: remove NDK r9b to save 1.6 GB of disk space

NDK r9b is used by only one app (net.gorry.android.input.nicownng) that
was last updated in 2015.
buildserver/config.buildserver.py
buildserver/provision-android-ndk
examples/config.py
fdroidserver/common.py
makebuildserver