chiark / gitweb /
Complain if buildjni is used but the NDK isn't available
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 17 Feb 2014 19:03:55 +0000 (20:03 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 17 Feb 2014 19:03:55 +0000 (20:03 +0100)
commit263731e9bc7fdf335e79c525bab3ccbb12f73a8b
tree0bbb7ef128737ff0cabe4c4f9027548eb745c783
parentf6ffbb599795074dce957a75d86880875c9119c5
Complain if buildjni is used but the NDK isn't available
fdroidserver/build.py