Joachim Fasting cd96d0c7d7 terra: specify tool paths via Makefile.inc ...

Judging by the build output, which doesn't find what it's looking for
anyway.

2016-06-23 01:31:23 +02:00

..

default.nix

terra: specify tool paths via Makefile.inc

2016-06-23 01:31:23 +02:00