diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-02 23:12:07 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-03 10:39:25 +0000 |
| commit | cfcd0d8658c41b95240f73a652f9f556d857e1be (patch) | |
| tree | c37c7a9a6e4470fab3cb0c404aa7f16925fa522a /lib/Core/Memory.cpp | |
| parent | 9293a3b584a8249ec8846e9200699e46e22a887c (diff) | |
| download | klee-cfcd0d8658c41b95240f73a652f9f556d857e1be.tar.gz | |
[CMake] Fix bug in the Makefile bitcode build system where the runtime
would not recompile if the LLVM C compiler flags changed. This could happen if the user did something like ``` make -f Makefile.cmake.bitcode LLVMCC.ExtraFlags=-Wall ```
Diffstat (limited to 'lib/Core/Memory.cpp')
0 files changed, 0 insertions, 0 deletions