diff options
Diffstat (limited to 'runtime/Makefile.cmake.bitcode.config.in')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode.config.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/runtime/Makefile.cmake.bitcode.config.in b/runtime/Makefile.cmake.bitcode.config.in index 5efa0154..5d1931b8 100644 --- a/runtime/Makefile.cmake.bitcode.config.in +++ b/runtime/Makefile.cmake.bitcode.config.in @@ -33,9 +33,6 @@ RUNTIME_CONFIG_STRING := @KLEE_RUNTIME_BUILD_TYPE@ # Optional features ENABLE_POSIX_RUNTIME := @BUILD_POSIX_RUNTIME@ -# FIXME: Get rid of this! -USE_MODULE_INSTEAD_OF_BCA := @USE_RUNTIME_BINARY_TYPE_HACK@ - # Commands MKDIR := mkdir RM := rm |