diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-05-11 17:15:10 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-04 15:13:02 +0100 |
| commit | 6a8081d721a1fa6eba8e7efcbd1f3cf1ca4feb10 (patch) | |
| tree | 127b6c4ffb129abc13c9ae9ad36af6e3990d6935 /runtime/Makefile.cmake.bitcode.config.in | |
| parent | ef90f1e219fec27a3d594158ae5f380a9e9a2f37 (diff) | |
| download | klee-6a8081d721a1fa6eba8e7efcbd1f3cf1ca4feb10.tar.gz | |
runtime: remove obsolete code for building modules instead of archives
Diffstat (limited to 'runtime/Makefile.cmake.bitcode.config.in')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode.config.in | 1 |
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@ |