tree b4468a749bd28b537aa6442df206b37dc23ea8c3
parent db23215c6b816884ae6c9c10afa7dec8ad0f3578
author Junho Choi <1229714+junhochoi@users.noreply.github.com> 1579698638 -0800
committer Alessandro Ghedini <alessandro@ghedini.me> 1579698638 +0000

build: support newer Android NDK versions

- Update build.rs to support recent NDK (19 or later) build instruction.
- You can still get previous NDK support using `--features ndk-old-gcc`.
- build_android_ndk19.sh is an example script to build using NDK >= 19.
- travis: android build will try both way.