tests: Distribute DEJATOOL files manually
commita0c7e40cf64d4512cc21ee5cdb9ba1341055f11c
authorMathieu Lirzin <mthl@gnu.org>
Thu, 18 Jan 2018 23:41:31 +0000 (19 00:41 +0100)
committerMathieu Lirzin <mthl@gnu.org>
Fri, 19 Jan 2018 00:26:40 +0000 (19 01:26 +0100)
tree2ed4272947c3118f629f22cd0d76c50bffb3130d
parent303effad5c8d19da7cfbde14b8a94cf6575aa23f
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.
t/check12.sh