diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-01 15:53:30 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-01 15:53:30 -0700 |
commit | 968d12fb8dc668dde59b02923a6b9ec20ecbeb3f (patch) | |
tree | 41bd185dfea8fbf29bb5b083d38e49b3a40c3d9c /test/java/CMakeLists.txt | |
parent | 6b718154dfbf5e9f8506d6911201bb7398ba8b48 (diff) |
cmake: Add build target build-tests to build all test dependencies. (#2558)
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") |