mirror of
https://github.com/f-droid/fdroidserver.git
synced 2026-01-25 15:58:03 -05:00
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.