diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-08 23:29:10 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-08 23:29:10 +0100 |
| commit | b41cf33b6b726fd97e502c5c4818f5feeea0284b (patch) | |
| tree | 8c9717c37240d8c95648a9082df3c1ed73619fd4 /.travis | |
| parent | b0c1d7291bbedf505529c648bc6c8b59cbef0544 (diff) | |
| download | klee-b41cf33b6b726fd97e502c5c4818f5feeea0284b.tar.gz | |
Fix very annoying issue where KLEE's configure would completly
ignore the C++ compiler detected and just use the compiler detected during the LLVM configure.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions