diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-26 15:34:58 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-26 15:34:58 -0700 |
commit | bd866bbf75606663315c15ce4f28862e99b70cbd (patch) | |
tree | 8ef70ba013d0408072c2d73548c56a6881bf5457 /CMakeLists.txt | |
parent | 79e866c5150a1d8e4d613f1673bfbf33eb157653 (diff) |
cmake: Fix test target dependency issues. (#2540)
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 921396e21..654e5f3f2 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -271,8 +271,7 @@ if(ENABLE_COVERAGE) setup_target_for_coverage_lcov( NAME coverage EXECUTABLE - ctest -j${CTEST_NTHREADS} -LE "example" --output-on-failure $(ARGS) - DEPENDENCIES cvc4-bin) + ctest -j${CTEST_NTHREADS} -LE "example" --output-on-failure $(ARGS)) endif() if(ENABLE_DEBUG_CONTEXT_MM) |