mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 15:00:30 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'ndk17b' into 'master'

Browse source 
Ndk17b

See merge request fdroid/fdroidserver!524
This commit is contained in:
Marcus 2018-06-27 14:47:51 +00:00
commit 1ee90d05e2
2 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
buildserver/config.buildserver.py
View file

@ -7,6 +7,7 @@ ndk_paths = {
'r14b': "/home/vagrant/android-ndk/r14b", 'r14b': "/home/vagrant/android-ndk/r14b",
'r15c': "/home/vagrant/android-ndk/r15c", 'r15c': "/home/vagrant/android-ndk/r15c",
'r16b': "/home/vagrant/android-ndk/r16b", 'r16b': "/home/vagrant/android-ndk/r16b",
'r17b': "/home/vagrant/android-ndk/r17b",
} }
java_paths = { java_paths = {
'8': "/usr/lib/jvm/java-8-openjdk-amd64", '8': "/usr/lib/jvm/java-8-openjdk-amd64",

1
examples/config.py
View file

@ -18,6 +18,7 @@
# 'r14b': None, # 'r14b': None,
# 'r15c': None, # 'r15c': None,
# 'r16b': None, # 'r16b': None,
# 'r17b': None,
# } # }
# java_paths = { # java_paths = {