diff options
Diffstat (limited to 'test/regress/CMakeLists.txt')
-rw-r--r-- | test/regress/CMakeLists.txt | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 79b706fdb..ecd98ddc2 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2080,10 +2080,7 @@ get_target_property(path_to_cvc4 cvc4-bin RUNTIME_OUTPUT_DIRECTORY) set(run_regress_script ${CMAKE_CURRENT_LIST_DIR}/run_regression.py) add_custom_target(build-regress DEPENDS cvc4-bin) -add_dependencies(check build-regress) -if(ENABLE_COVERAGE) - add_dependencies(coverage build-regress) -endif() +add_dependencies(build-tests build-regress) add_custom_target(regress COMMAND |