diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/regress/regress0/bv/core/Makefile.am | 2 | ||||
| -rw-r--r-- | test/system/Makefile.am | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/test/regress/regress0/bv/core/Makefile.am b/test/regress/regress0/bv/core/Makefile.am index f1a12e165..a7fa9abfd 100644 --- a/test/regress/regress0/bv/core/Makefile.am +++ b/test/regress/regress0/bv/core/Makefile.am @@ -71,6 +71,8 @@ TESTS = \ bitvec3.smt \ bitvec5.smt +EXTRA_DIST = $(TESTS) + # synonyms for "check" in this directory .PHONY: regress regress0 test regress regress0 test: check diff --git a/test/system/Makefile.am b/test/system/Makefile.am index af9b43256..55688309e 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -22,6 +22,7 @@ TEST_DEPS = \ $(TEST_DEPS_NODIST) EXTRA_DIST = \ + $(TESTS:%=%.cpp) \ $(TEST_DEPS_DIST) if STATIC_BINARY |