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

ndk17: add to extract whitelist

Browse source
This commit is contained in:
Marcus Hoffmann 2018-07-04 14:30:15 +02:00
parent b3e3aa6e0e
commit a1ea29c86b
No known key found for this signature in database
GPG key ID: ACDF63BC43D5E530
1 changed files with 1 additions and 1 deletions
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 mv android-ndk-r10e r10e
fi 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 if [ ! -e ${NDK_BASE}/${version} ]; then
unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
mv android-ndk-${version} ${version} mv android-ndk-${version} ${version}