diff options
Diffstat (limited to 'runtime/Makefile.cmake.bitcode')
| -rw-r--r-- | runtime/Makefile.cmake.bitcode | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Makefile.cmake.bitcode b/runtime/Makefile.cmake.bitcode index 1dfdfde6..dd32161d 100644 --- a/runtime/Makefile.cmake.bitcode +++ b/runtime/Makefile.cmake.bitcode @@ -17,7 +17,7 @@ ifneq ($(ENABLE_POSIX_RUNTIME),0) DIRS += POSIX endif -ifneq ($(BUILD_KLEE_EH_CXX),0) +ifneq ($(ENABLE_KLEE_EH_CXX),0) DIRS += klee-eh-cxx endif |