summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2018-01-19 00:41:31 +0100
committerMathieu Lirzin <mthl@gnu.org>2018-01-19 01:26:40 +0100
commita0c7e40cf64d4512cc21ee5cdb9ba1341055f11c (patch)
tree2ed4272947c3118f629f22cd0d76c50bffb3130d
parent303effad5c8d19da7cfbde14b8a94cf6575aa23f (diff)
downloadautomake-a0c7e40cf64d4512cc21ee5cdb9ba1341055f11c.tar.gz
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.
-rw-r--r--t/check12.sh1
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