klee/klee — pull request #177 by jirislaby (2014-11-13 16:48:10+00:00)
Title: tools: prepend DESTDIR when installing

Some tools prepend DESTDIR properly, some not. ktest-tool and
klee-stats do not, so 'make install' chokes with an error:
llvm[2]: Installing Release+Asserts /usr/bin/ktest-tool
/usr/bin/install: cannot create regular file '/usr/bin/ktest-tool': Permission denied