diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2018-01-19 00:41:31 +0100 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2018-01-19 01:26:40 +0100 |
commit | a0c7e40cf64d4512cc21ee5cdb9ba1341055f11c (patch) | |
tree | 2ed4272947c3118f629f22cd0d76c50bffb3130d | |
parent | 303effad5c8d19da7cfbde14b8a94cf6575aa23f (diff) | |
download | automake-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.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 |