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

Merge branch 'fix-excessive-ndk' into 'master'

Browse Source 
makebuildserver: do not provision excessive NDKs

See merge request fdroid/fdroidserver!463
This commit is contained in:
Marcus 2018-02-14 23:54:00 +00:00
commit e6208da7ca
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
buildserver/provision-android-ndk
View File

@ -14,8 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then
mv android-ndk-r10e r10e
fi
for f in /vagrant/cache/android-ndk-r[1-9][0-9]*-linux-x86_64.zip; do
version=`echo $f |sed 's,.*\(r[1-9][0-9][a-z]\?\).*,\1,'`
for version in r11c r12b r13b r14b r15c r16b; do
if [ ! -e ${NDK_BASE}/${version} ]; then
unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
mv android-ndk-${version} ${version}