diff options
| author | Dan Liew <delcypher@gmail.com> | 2013-12-20 08:15:46 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2013-12-20 08:15:46 +0000 |
| commit | c5510caa2a0ce6ad9a153fee094fe50855313450 (patch) | |
| tree | 311c5b5ac080e04526885e4682a5bfe5210f0fa1 /lib/Core/StatsTracker.cpp | |
| parent | 2c04a50f501d861da765ee8d3a0d3531dcbd52af (diff) | |
| download | klee-c5510caa2a0ce6ad9a153fee094fe50855313450.tar.gz | |
Fix compilation of unittests under Clang.
It seems the GTest header file in LLVM 3.3 (and possibly other versions) makes use of typeid() but the build system passes -fno-rtti. These are incompatible and if building with Clang then compilation will fail. GCC doesn't seem to care!
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
0 files changed, 0 insertions, 0 deletions