--- test/regress/CMakeLists.txt.orig	2019-06-06 19:13:41 UTC
+++ test/regress/CMakeLists.txt
@@ -2138,11 +2138,6 @@ set(run_regress_script ${CMAKE_CURRENT_LIST_DIR}/run_r
 add_custom_target(build-regress DEPENDS cvc4-bin)
 add_dependencies(build-tests build-regress)
 
-add_custom_target(regress
-  COMMAND
-    ctest --output-on-failure -L "regress[0-2]" -j${CTEST_NTHREADS} $(ARGS)
-  DEPENDS build-regress)
-
 macro(cvc4_add_regression_test level file)
   add_test(${file}
     ${run_regress_script}