chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'remove-ndk-r9b' into 'master'
[fdroidserver.git]
/
buildserver
/
config.buildserver.py
diff --git
a/buildserver/config.buildserver.py
b/buildserver/config.buildserver.py
index d8e7ebda837ce5067e1d5eb316943ec8d6bbe4b9..0b0c593fc1adfc97d3744713e5675708db15b78d 100644
(file)
--- a/
buildserver/config.buildserver.py
+++ b/
buildserver/config.buildserver.py
@@
-1,6
+1,5
@@
sdk_path = "/home/vagrant/android-sdk"
ndk_paths = {
- 'r9b': "/home/vagrant/android-ndk/r9b",
'r10e': "/home/vagrant/android-ndk/r10e",
'r11c': "/home/vagrant/android-ndk/r11c",
'r12b': "/home/vagrant/android-ndk/r12b",