chiark / gitweb /
makebuildserver: do not provision excessive NDKs
authorrelan <email@hidden>
Wed, 14 Feb 2018 06:01:37 +0000 (09:01 +0300)
committerrelan <email@hidden>
Wed, 14 Feb 2018 06:11:40 +0000 (09:11 +0300)
commit2c0e430a2d8c913e7090a5395b4aece3239f429c
tree9724fcd53ae0f97abb3db62cbefb69b59895d943
parentbffa6a73bed8a37c89833bfb512a0ba12a68c19d
makebuildserver: do not provision excessive NDKs

When a new minor version of an NDK is released, it replaces an older one,
e.g. r16 with r16b (see commit 6f295cb). But old NDK package remains in
the cache and provisioning script unpacks it too as it matches the mask.

Fix NDK provisioning to unzip only while-listed versions.
buildserver/provision-android-ndk