4 files changed, 4 insertions, 4 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 1970bb659..cd67c136e 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -17,7 +17,7 @@ add_dependencies(build-tests examples)
 # Dependencies of check are added in the corresponding subdirectories.
 add_custom_target(check
   COMMAND
-    ctest --output-on-failure -LE "regress[3-4]" -j${CTEST_NTHREADS} $(ARGS)
+    ctest --output-on-failure -LE "regress[3-4]" -j${CTEST_NTHREADS} $$ARGS
   DEPENDS
     build-tests)
 
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 37e6e3414..f3c80559a 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -2203,7 +2203,7 @@ add_dependencies(build-tests build-regress)
 
 add_custom_target(regress
   COMMAND
-    ctest --output-on-failure -L "regress[0-2]" -j${CTEST_NTHREADS} $(ARGS)
+    ctest --output-on-failure -L "regress[0-2]" -j${CTEST_NTHREADS} $$ARGS
   DEPENDS build-regress)
 
 macro(cvc4_add_regression_test level file)
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt
index 9d0d8424a..420ce8e6f 100644
--- a/test/system/CMakeLists.txt
+++ b/test/system/CMakeLists.txt
@@ -11,7 +11,7 @@ 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)
+  COMMAND ctest --output-on-failure -L "system" -j${CTEST_NTHREADS} $$ARGS
   DEPENDS build-systemtests)
 
 set(CVC4_SYSTEM_TEST_FLAGS
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 09eff7175..83b0ec0db 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -17,7 +17,7 @@ add_custom_target(build-units)
 add_dependencies(build-tests build-units)
 
 add_custom_target(units
-  COMMAND ctest --output-on-failure -L "unit" -j${CTEST_NTHREADS} $(ARGS)
+  COMMAND ctest --output-on-failure -L "unit" -j${CTEST_NTHREADS} $$ARGS
   DEPENDS build-units)
 
 set(CVC4_CXXTEST_FLAGS_BLACK