Merge pull request #104 from olerem/pre_debian-2016.10.05
authorAdrian Chadd <adrian.chadd@gmail.com>
Sun, 9 Oct 2016 15:54:29 +0000 (08:54 -0700)
committerGitHub <noreply@github.com>
Sun, 9 Oct 2016 15:54:29 +0000 (08:54 -0700)
make toolchain path configurable


Trivial merge