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

Add ndk 13b

Browse source
This commit is contained in:
est31 2016-11-25 21:10:44 +01:00
parent d7ec321198
commit ddefec33cd
6 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
buildserver/provision-android-ndk
View file

@ -30,5 +30,10 @@ if [ ! -e $NDK_BASE/r12b ]; then
mv android-ndk-r12b r12b
fi
if [ ! -e $NDK_BASE/r13b ]; then
unzip /vagrant/cache/android-ndk-r13b-linux-x86_64.zip > /dev/null
mv android-ndk-r13b r13b
fi
chmod -R a+rX $NDK_BASE/
find $NDK_BASE/ -type f -executable -print0 | xargs -0 chmod a+x