diff options
Diffstat (limited to 'test/system')
| -rw-r--r-- | test/system/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index 7b7cd9fa3..694cad171 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -24,4 +24,4 @@ cvc4_add_system_test(statistics) cvc4_add_system_test(two_smt_engines) #TODO java test (needs bindings) -add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system") +add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS)) |