tests: Distribute DEJATOOL files manually

"t/check12.sh" was failing because files declared in DEJATOOL are not
automatically distributed.  The test running 'make distcheck' couldn't succeed
since some scripts were not distributed.  This fixes automake bug#26738.

* t/check12.sh (Makefile.am): Distribute files from DEJATOOL.

diff --git a/t/check12.sh b/t/check12.sh
index 34007896ce90f4e851f16c3ed4530b3f41e0a625..111f43318bb7684cc821f154cb4709acbecc89f3 100644 (file)
--- 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