diff options
Diffstat (limited to 'test/CMakeLists.txt')
| -rw-r--r-- | test/CMakeLists.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 8b6703d4..30ccf6b2 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -17,11 +17,6 @@ set(LLVMCXX "${LLVMCXX} -I${CMAKE_SOURCE_DIR}/include") set(NATIVE_CC "${CMAKE_C_COMPILER} ${CMAKE_C_FLAGS} -I ${CMAKE_SOURCE_DIR}/include") set(NATIVE_CXX "${CMAKE_CXX_COMPILER} ${CMAKE_CXX_FLAGS} -I ${CMAKE_SOURCE_DIR}/include") set(TARGET_TRIPLE "${TARGET_TRIPLE}") -if (ENABLE_KLEE_UCLIBC) - set(ENABLE_UCLIBC 1) -else() - set(ENABLE_UCLIBC 0) -endif() # FIXME: Do this to avoid changing the template file that # is shared by both build systems. |