diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-09 16:38:28 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-09 16:38:28 +0000 |
| commit | 8754d26cc5e1558f4dd9c55ad7129e2ad4189fdb (patch) | |
| tree | 757ed906658da6b2a4f0bdaf940af7fe4c9ab74d /runtime | |
| parent | c26accf1c3fe572fdcb5e21d74857b836df1efbf (diff) | |
| download | klee-8754d26cc5e1558f4dd9c55ad7129e2ad4189fdb.tar.gz | |
Fix build system so that ktest-tool and klee-stats can be installed
under release build. The problem is that under release build the install command is told to strip symbols from the tools. It tries to do this for the python scripts and fails. This commit hacks this by requesting that symbols are not stripped from the python scripts.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions