chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Re-add NDK r12b, now fixed.
[fdroidserver.git]
/
buildserver
/
config.buildserver.py
diff --git
a/buildserver/config.buildserver.py
b/buildserver/config.buildserver.py
index 50976dbe9ba8302061593451c6e3b312072e9b69..57ae0b2b6e5e8a52ea56d48d64fcc4f26823ce29 100644
(file)
--- a/
buildserver/config.buildserver.py
+++ b/
buildserver/config.buildserver.py
@@
-2,6
+2,7
@@
sdk_path = "/home/vagrant/android-sdk"
ndk_paths = {
'r9b': "/home/vagrant/android-ndk/r9b",
'r10e': "/home/vagrant/android-ndk/r10e",
+ 'r12b': "/home/vagrant/android-ndk/r12b",
}
java_paths = {
'8': "/usr/lib/jvm/java-8-openjdk-i386",