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/regress/regress0/bv | |
| parent | 969b144a5f9630d646afdf0ff0a053df38d0ed1a (diff) | |
fix "make dist" issues in makefiles
Diffstat (limited to 'test/regress/regress0/bv')
| -rw-r--r-- | test/regress/regress0/bv/core/Makefile.am | 2 |
1 files changed, 2 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 |