about summary refs log tree commit diff homepage
path: root/runtime/Makefile.cmake.bitcode.config.in
diff options
context:
space:
mode:
Diffstat (limited to 'runtime/Makefile.cmake.bitcode.config.in')
-rw-r--r--runtime/Makefile.cmake.bitcode.config.in1
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/Makefile.cmake.bitcode.config.in b/runtime/Makefile.cmake.bitcode.config.in
index 5d1931b8..5916d79a 100644
--- a/runtime/Makefile.cmake.bitcode.config.in
+++ b/runtime/Makefile.cmake.bitcode.config.in
@@ -22,7 +22,6 @@ ROOT_OBJ := @CMAKE_CURRENT_BINARY_DIR@/runtime_build_@KLEE_RUNTIME_BUILD_TYPE@/
 
 # FIXME: For legacy reasons this is where the libraries need to end up
 ARCHIVE_DEST := @KLEE_RUNTIME_DIRECTORY@
-MODULE_DEST := $(ARCHIVE_DEST)
 
 # Build type
 IS_RELEASE := @RUNTIME_IS_RELEASE@