diff options
Diffstat (limited to 'test/regress')
-rw-r--r-- | test/regress/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index e0bdc2bfc..88be6b94b 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2075,7 +2075,8 @@ get_target_property(path_to_cvc4 cvc4-bin RUNTIME_OUTPUT_DIRECTORY) set(run_regress_script ${CMAKE_CURRENT_LIST_DIR}/run_regression.py) add_custom_target(regress - COMMAND ctest --output-on-failure -L "regress[0-1]" -j${NTHREADS} $(ARGS) + COMMAND + ctest --output-on-failure -L "regress[0-1]" -j${CTEST_NTHREADS} $(ARGS) DEPENDS cvc4-bin) macro(cvc4_add_regression_test level file) |