diff options
Diffstat (limited to 't/check12.sh')
-rw-r--r-- | t/check12.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/t/check12.sh b/t/check12.sh index 34007896c..111f43318 100644 --- a/t/check12.sh +++ b/t/check12.sh @@ -59,6 +59,7 @@ cat >> Makefile.am << 'END' AUTOMAKE_OPTIONS += dejagnu DEJATOOL = hammer spanner AM_RUNTESTFLAGS = HAMMER=$(srcdir)/hammer SPANNER=$(srcdir)/spanner +EXTRA_DIST += $(DEJATOOL) EXTRA_DIST += hammer.test/hammer.exp EXTRA_DIST += spanner.test/spanner.exp END |