chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add ndk r11c
[fdroidserver.git]
/
buildserver
/
provision-android-ndk
diff --git
a/buildserver/provision-android-ndk
b/buildserver/provision-android-ndk
index ce1a8683bc8f46039cc34f5007e822639d12c6ee..215f01399032be6360ef526a1d295511e0118b67 100644
(file)
--- a/
buildserver/provision-android-ndk
+++ b/
buildserver/provision-android-ndk
@@
-20,6
+20,11
@@
if [ ! -e $NDK_BASE/r10e ]; then
mv android-ndk-r10e r10e
fi
mv android-ndk-r10e r10e
fi
+if [ ! -e $NDK_BASE/r11c ]; then
+ unzip /vagrant/cache/android-ndk-r11c-linux-x86_64.zip > /dev/null
+ mv android-ndk-r11c r11c
+fi
+
if [ ! -e $NDK_BASE/r12b ]; then
unzip /vagrant/cache/android-ndk-r12b-linux-x86_64.zip > /dev/null
mv android-ndk-r12b r12b
if [ ! -e $NDK_BASE/r12b ]; then
unzip /vagrant/cache/android-ndk-r12b-linux-x86_64.zip > /dev/null
mv android-ndk-r12b r12b