about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2016-12-02 23:17:10 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2016-12-03 10:39:37 +0000
commite1255fbb2728eef85d995782ce72bea9f7179d35 (patch)
tree0b34b4d590eb9752ccd9f26babc06e4532dfa583
parentcfcd0d8658c41b95240f73a652f9f556d857e1be (diff)
downloadklee-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.
-rw-r--r--runtime/Makefile.cmake.bitcode.rules1
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