summaryrefslogtreecommitdiff
path: root/test/system
diff options
context:
space:
mode:
Diffstat (limited to 'test/system')
-rw-r--r--test/system/Makefile.am6
1 files changed, 4 insertions, 2 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am
index 53039db6e..7fa7b4a68 100644
--- a/test/system/Makefile.am
+++ b/test/system/Makefile.am
@@ -1,10 +1,12 @@
TESTS_ENVIRONMENT =
TEST_EXTENSIONS = .class
-TESTS = \
+CPLUSPLUS_TESTS = \
boilerplate \
ouroborous
# cvc3_main
+TESTS = $(CPLUSPLUS_TESTS)
+
if CVC4_LANGUAGE_BINDING_JAVA
TESTS += CVC4JavaTest.class
endif
@@ -37,7 +39,7 @@ TEST_DEPS = \
$(TEST_DEPS_NODIST)
EXTRA_DIST = \
- $(TESTS:%=%.cpp) \
+ $(CPLUSPLUS_TESTS:%=%.cpp) \
$(TEST_DEPS_DIST)
if STATIC_BINARY
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback