* Makefile.in: Avoid duplication.
commitffefb6e899fbcdcbd79cb34292d57b7bc3043fcc
authorGlenn Morris <rgm@gnu.org>
Fri, 4 Dec 2015 00:57:11 +0000 (3 19:57 -0500)
committerGlenn Morris <rgm@gnu.org>
Fri, 4 Dec 2015 00:57:11 +0000 (3 19:57 -0500)
treef8909335a0c381d385d0986911c85fa0d65cc54b
parent354a1fc38d6d4bf93db30c6e3048437dd3fbc19f
* Makefile.in: Avoid duplication.

(have-tests): New rule.
(check, check-maybe): Use it.
Makefile.in