diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-04-02 14:08:47 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-07 18:01:43 +0100 |
| commit | 077f89136c06eb4a6b43e51a0c091ab70dab0d06 (patch) | |
| tree | 70ad81f3c9d69c8bbe22a6b353597f417c086188 /unittests | |
| parent | 43414c9eaebbe47c9bd59338b8a1cd574feb37bc (diff) | |
| download | klee-077f89136c06eb4a6b43e51a0c091ab70dab0d06.tar.gz | |
unittests/CMakeLists.txt: no UNITTEST_MAIN_LIBS
variable obsoleted by 5607a7f1910e579acc0b93b1ae2caba88e7d5fd7
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/CMakeLists.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index 5fd90457..4eb75004 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -248,9 +248,6 @@ llvm_config(unittest_main "${USE_LLVM_SHARED}" support) target_link_libraries(unittest_main PUBLIC ${GTEST_TARGET_NAME} - - PRIVATE - ${UNITTEST_MAIN_LIBS} ) target_include_directories(unittest_main PUBLIC |