diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 11:49:41 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-19 11:49:41 +0000 |
| commit | 48d0feb983232250b42785c04fc87251d436f4d3 (patch) | |
| tree | 9a0eb74a550921a21e5f8f146b3977d861496665 /lib/Core | |
| parent | ba009ba1f66396f0951c703e6a68e393d01be7af (diff) | |
| download | klee-48d0feb983232250b42785c04fc87251d436f4d3.tar.gz | |
[CMake] Fix linker warning about mixed linking modes when LLVM was
built with `-fvisibility-inlines-hidden`. This was observed when using a bottled version of LLVM 3.4 on macOS that appears to have been built with this option.
Diffstat (limited to 'lib/Core')
0 files changed, 0 insertions, 0 deletions