diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-11 05:55:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-11 05:55:37 +0000 |
commit | a2602bd3e3ee90d50cb433e01b029d1176b4cc18 (patch) | |
tree | fc8168fb358d819497bbe8db2bb482ace5e1ddff /test | |
parent | 969b144a5f9630d646afdf0ff0a053df38d0ed1a (diff) |
fix "make dist" issues in makefiles
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 |