chiark / gitweb /
build: error properly if an invalid ndk is used
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 13 Jul 2016 15:32:52 +0000 (16:32 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 13 Jul 2016 15:32:52 +0000 (16:32 +0100)
commita0e42454437805b162e6e2b1eb11d5c79b56de29
tree8343a57613a3d1c4bfd295f63d3099bd64aeb9bf
parent0f708f367cb2d7aadfb513fe5af3f3c8571ef389
build: error properly if an invalid ndk is used

Currently, if buildjni is not used but ndk is set to an invalid value,
the build would start but $ANDROID_NDK would be empty. This is happening
in VLC, which results in very confusing errors.

If a build uses a ndk= value that is not set up, such as r11/r12 which
we do not have yet, it should error with "NDK version could not be
found". It does with this change.
fdroidserver/build.py