From 3b433d829ccfc0d91cb98f368a8896f5ccad1671 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 20 Sep 2018 16:32:27 -0700
Subject: cmake: Run make coverage in parallel by default.

---
 test/unit/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/unit/CMakeLists.txt')

diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 3e90fb333..3d1007929 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -8,7 +8,7 @@ include_directories(${CMAKE_BINARY_DIR}/src)
 # > unit tests
 
 add_custom_target(units
-  COMMAND ctest --output-on-failure -L "unit" -j${NTHREADS} $(ARGS))
+  COMMAND ctest --output-on-failure -L "unit" -j${CTEST_NTHREADS} $(ARGS))
 
 set(CVC4_CXXTEST_FLAGS_BLACK
   -D__BUILDING_CVC4LIB_UNIT_TEST -D__BUILDING_CVC4PARSERLIB_UNIT_TEST
-- 
cgit v1.2.3