chiark / gitweb /
Merge branch 'ndk-error' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 18 Jul 2016 14:47:45 +0000 (14:47 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 18 Jul 2016 14:47:45 +0000 (14:47 +0000)
commitad966c5bd98073466024bc735ec3cbfa3c99513b
tree8e5e0d6e57873025e6e29776d2e8f78b63ffca6f
parent89eb7166fee80d334fb33bd56ae0261cf6058f46
parenta0e42454437805b162e6e2b1eb11d5c79b56de29
Merge branch 'ndk-error' into 'master'

build: error properly if an invalid ndk is used

See merge request !146