diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-03-17 10:05:06 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-03-17 10:59:08 +0000 |
| commit | 2824a126cb32001bdfb0cf43ad90ba1e01c2f71f (patch) | |
| tree | 30cb3e75ea7158cf5738d3ca2fe17568805c88a5 /test | |
| parent | 8b5188e4237aa172a9c2b3e3efca9fe7a091cf70 (diff) | |
| download | klee-2824a126cb32001bdfb0cf43ad90ba1e01c2f71f.tar.gz | |
test: fix 'not' build
There was a typo and 'not' utility was tried to be built with FileCheck's libraries. But those can be undefined. Fix this by using the correct variable. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'test')
| -rw-r--r-- | test/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index a2a46e2a..4b6a63f6 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -96,7 +96,7 @@ if (DOWNLOAD_NOT_SOURCE) target_include_directories("not" PRIVATE ${KLEE_COMPONENT_EXTRA_INCLUDE_DIRS}) target_compile_options("not" PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) target_compile_definitions("not" PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) - target_link_libraries("not" PRIVATE ${FILECHECK_NEEDED_LIBS}) + target_link_libraries("not" PRIVATE ${NOT_NEEDED_LIBS}) endif() ############################################################################### |