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 /runtime/Makefile.cmake.bitcode.config.in | |
| 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 'runtime/Makefile.cmake.bitcode.config.in')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/Makefile.cmake.bitcode.config.in b/runtime/Makefile.cmake.bitcode.config.in index c554265f..5efa0154 100644 --- a/runtime/Makefile.cmake.bitcode.config.in +++ b/runtime/Makefile.cmake.bitcode.config.in @@ -39,6 +39,7 @@ USE_MODULE_INSTEAD_OF_BCA := @USE_RUNTIME_BINARY_TYPE_HACK@ # Commands MKDIR := mkdir RM := rm +CMP := cmp # Compiler flags LLVMCC.Flags += $(LLVMCC.ExtraFlags) \ |