mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-11-13 18:50:29 +03:00
b1b30d13a4
ndk_paths is set up right after installing the NDK and right before
ndk_paths is used in Build.ndk_path().
A proper NDK install always has a _source.properties_ which declares
the revision and release strings. That is used as the source of
revision and release. This only reads from the local filesystem, and
reads the official source of version info (_source.properties_),
thereby avoiding any potential network calls that sdkmanager might
do. This implementation was inspired by @uniqx's:
ed931d47d7 (27b997d583cd1c0a05b2213437e0d9fe6536bfe3)
4 lines
107 B
INI
4 lines
107 B
INI
Pkg.Desc = Android NDK
|
|
Pkg.Revision = 29.0.14206865
|
|
Pkg.BaseRevision = 29.0.14206865
|
|
Pkg.ReleaseName = r29
|