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/CMakeLists.txt | |
parent | e86a06829491bae68cef1b2156d245874516fd17 (diff) |
cmake: Run make coverage in parallel by default.
Diffstat (limited to 'test/CMakeLists.txt')
-rw-r--r-- | test/CMakeLists.txt | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index e1205faa0..44cf5a651 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -1,11 +1,3 @@ -# Determine number of threads available, used to configure (default) parallel -# execution of custom test targets (can be overriden with ARGS=-jN). -include(ProcessorCount) -ProcessorCount(NTHREADS) -if(NTHREADS EQUAL 0) - set(NTHREADS 1) -endif() - #-----------------------------------------------------------------------------# # Add subdirectories @@ -27,7 +19,8 @@ endif() # > system tests add_custom_target(check - COMMAND ctest --output-on-failure -LE "regress[2-4]" -j${NTHREADS} $(ARGS) + COMMAND + ctest --output-on-failure -LE "regress[2-4]" -j${CTEST_NTHREADS} $(ARGS) DEPENDS regress systemtests) if(BUILD_BINDINGS_JAVA) add_dependencies(check cvc4javatests) |