diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-09 19:37:55 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-10-09 20:13:08 +0100 |
| commit | 10b800db2c0639399ca2bdc041959519c54f89e5 (patch) | |
| tree | a3e4edf8ed4943e72484f2ebc0d471065009ecdc /include | |
| parent | 492565b392831866fefef748917705a824f6f29f (diff) | |
| download | klee-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 'include')
0 files changed, 0 insertions, 0 deletions