diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-02 23:17:10 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-12-03 10:39:37 +0000 |
| commit | e1255fbb2728eef85d995782ce72bea9f7179d35 (patch) | |
| tree | 0b34b4d590eb9752ccd9f26babc06e4532dfa583 /runtime | |
| parent | cfcd0d8658c41b95240f73a652f9f556d857e1be (diff) | |
| download | klee-e1255fbb2728eef85d995782ce72bea9f7179d35.tar.gz | |
[CMake] Fix bug in the Makefile bitcode build system where the runtime
would not recompile if the `Makefile.cmake.bitcode.rules` file changed.
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode.rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/Makefile.cmake.bitcode.rules b/runtime/Makefile.cmake.bitcode.rules index 4471eb98..8261ce99 100644 --- a/runtime/Makefile.cmake.bitcode.rules +++ b/runtime/Makefile.cmake.bitcode.rules @@ -25,6 +25,7 @@ endif # Any changes to the files listed here will trigger a rebuild of the sources ADDITIONAL_BUILD_DEPS := $(CURRENT_DIR)/Makefile.cmake.bitcode \ $(RUNTIME_CMAKE_BINARY_DIR)/Makefile.cmake.bitcode.config \ + $(RUNTIME_CMAKE_BINARY_DIR)/Makefile.cmake.bitcode.rules \ $(RUNTIME_CMAKE_BINARY_DIR)/Makefile.cmake.bitcode # Handle VERBOSE |