kamp/fdroidserver
1
0
Fork 0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-10-03 17:50:11 +02:00
Code Activity

Merge branch 'ndkr17b_fix2' into 'master'

Browse Source 
ndk17: add to extract whitelist

See merge request fdroid/fdroidserver!526
This commit is contained in:
Marcus 2018-07-04 12:33:18 +00:00
commit a10957942f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
buildserver/provision-android-ndk
View File

@ -14,7 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then
mv android-ndk-r10e r10e
fi
for version in r11c r12b r13b r14b r15c r16b; do
for version in r11c r12b r13b r14b r15c r16b r17b; do
if [ ! -e ${NDK_BASE}/${version} ]; then
unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
mv android-ndk-${version} ${version}