From 9c445a83bc03ca4a0335e98704feee44183831a6 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Fri, 4 Sep 2020 22:04:57 +0200 Subject: Exception handling only for LLVM >= 8.0.0 --- runtime/Makefile.cmake.bitcode | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runtime/Makefile.cmake.bitcode') 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 -- cgit 1.4.1