diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-12-09 12:20:49 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-09 12:20:49 +0000 |
| commit | d7b03c98210d056bdc9cbf75156c6758b0dfa712 (patch) | |
| tree | a9928caaf478c75a2f9ed940d9cc36fc4c6e5b5a /runtime/Makefile.cmake.bitcode.config.in | |
| parent | c1c06b5f8e6579e3d0921b7ea5a828410986fbc5 (diff) | |
| parent | e1255fbb2728eef85d995782ce72bea9f7179d35 (diff) | |
| download | klee-d7b03c98210d056bdc9cbf75156c6758b0dfa712.tar.gz | |
Merge pull request #535 from delcypher/cmake_fix_bitcode_rebuild_on_flag_change
[CMake] Fix bugs in the Makefile bitcode build system
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) \ |