chiark / gitweb /
Revert "all: add NDK r12b and set it as default"
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 1 Aug 2016 11:38:52 +0000 (12:38 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 1 Aug 2016 11:38:52 +0000 (12:38 +0100)
commitbf153ec2475f5c9f5c415fbc906184eae523ff78
tree81826bef56a4ffcdd6d514406ec664b5bfc0e9d9
parente99454868a4a1787470cc7d6b23e0e1863847622
Revert "all: add NDK r12b and set it as default"

This reverts commit 82d09560c63ea282222b319437494ad6837be026.

It doesn't work - the setup scripts are expecting a ".bin" file (which
is apparently a 7z archive), but what's actually got is a ".zip".

Conflicts:
buildserver/provision-android-ndk
buildserver/config.buildserver.py
buildserver/provision-android-ndk
docs/fdroid.texi
examples/config.py
fdroidserver/build.py
fdroidserver/common.py
fdroidserver/init.py
fdroidserver/metadata.py
makebuildserver