diff options
Diffstat (limited to 'test/java/CMakeLists.txt')
| -rw-r--r-- | test/java/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/java/CMakeLists.txt b/test/java/CMakeLists.txt index b6f0d035a..169013b84 100644 --- a/test/java/CMakeLists.txt +++ b/test/java/CMakeLists.txt @@ -18,7 +18,7 @@ add_jar(build-javatests OUTPUT_NAME javatests ) add_dependencies(build-javatests cvc4jar) -add_dependencies(check build-javatests) +add_dependencies(build-tests build-javatests) # Add java tests to ctest set(classpath "${CMAKE_CURRENT_BINARY_DIR}/javatests.jar") |