Merge pull request #108 from riscv/dtc-error
authorPalmer Dabbelt <palmer@dabbelt.com>
Mon, 5 Jun 2017 19:57:58 +0000 (12:57 -0700)
committerGitHub <noreply@github.com>
Mon, 5 Jun 2017 19:57:58 +0000 (12:57 -0700)
Configure should fail if device-tree-compiler is not installed


Trivial merge