chiark / gitweb /
Merge branch 'some-build-fixes' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 21 Jun 2016 10:12:54 +0000 (10:12 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 21 Jun 2016 10:12:54 +0000 (10:12 +0000)
Some build fixes

This includes a couple of fixes discussed with @mvdan including removing the `ANDROID_NDK_HOME` env var from the buildserver and removing the default behavior to force the build-tools version.

See merge request !136


Trivial merge