From 63a6e17196d849ad6e57bce7490eafb5b7f7f3ec Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 8 Aug 2019 11:19:23 -0700
Subject: Fix issues with Ninja build system and add configure option. (#3166)

Adds option --ninja to configure.sh.
---
 test/system/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/system')

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
-- 
cgit v1.2.3