From 6a8081d721a1fa6eba8e7efcbd1f3cf1ca4feb10 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Fri, 11 May 2018 17:15:10 +0200 Subject: runtime: remove obsolete code for building modules instead of archives --- runtime/Makefile.cmake.bitcode.config.in | 1 - 1 file changed, 1 deletion(-) (limited to 'runtime/Makefile.cmake.bitcode.config.in') 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@ -- cgit 1.4.1