--- test/system/CMakeLists.txt.orig	2019-06-06 19:13:50 UTC
+++ test/system/CMakeLists.txt
@@ -10,10 +10,6 @@ include_directories(${CMAKE_BINARY_DIR}/src)
 add_custom_target(build-systemtests)
 add_dependencies(build-tests build-systemtests)
 
-add_custom_target(systemtests
-  COMMAND ctest --output-on-failure -L "system" -j${CTEST_NTHREADS} $(ARGS)
-  DEPENDS build-systemtests)
-
 set(CVC4_SYSTEM_TEST_FLAGS
   -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS)