diff options
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) |