about summary refs log tree commit diff homepage
path: root/test/Feature
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2014-10-09 19:37:55 +0100
committerDan Liew <daniel.liew@imperial.ac.uk>2014-10-09 20:13:08 +0100
commit10b800db2c0639399ca2bdc041959519c54f89e5 (patch)
treea3e4edf8ed4943e72484f2ebc0d471065009ecdc /test/Feature
parent492565b392831866fefef748917705a824f6f29f (diff)
downloadklee-10b800db2c0639399ca2bdc041959519c54f89e5.tar.gz
Add a hack for Travis so that llvm-gcc can build native executables.
This could be useful if KLEE tests want to use the bitcode compiler
as a native compiler.
Diffstat (limited to 'test/Feature')
0 files changed, 0 insertions, 0 deletions