diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-20 16:32:27 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 3b433d829ccfc0d91cb98f368a8896f5ccad1671 (patch) | |
| tree | 1f52824fbfe88eb3a94594c5f4cf87a30a3f0803 /test/unit | |
| parent | e86a06829491bae68cef1b2156d245874516fd17 (diff) | |
cmake: Run make coverage in parallel by default.
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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 |