diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2014-11-13 15:44:54 +0100 |
|---|---|---|
| committer | Jiri Slaby <jirislaby@gmail.com> | 2014-11-13 17:21:31 +0100 |
| commit | 487564ca024fd49f24daf7e9e337bba99bdaec8d (patch) | |
| tree | ae962f4cbfcb4e81d4f4c9b24b0f089cc64be1d9 /lib/Expr/ExprSMTLIBLetPrinter.cpp | |
| parent | 50073b4689c3a1b9eefd5befddf0e15ae0d93348 (diff) | |
| download | klee-487564ca024fd49f24daf7e9e337bba99bdaec8d.tar.gz | |
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 Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Expr/ExprSMTLIBLetPrinter.cpp')
0 files changed, 0 insertions, 0 deletions