build: Add target "check" as a synonym for "test".
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 22 Aug 2016 15:36:05 +0000 (17:36 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 8 Jan 2017 12:58:54 +0000 (13:58 +0100)
commit94cc50d9a53c94e0a2cf0e080e461e28b678dcbb
tree647794515f7aa07ddd668cd3ea8af15f928a95b3
parentc3c958098baca5651e7bfd6b68ffda475ce671fa
build: Add target "check" as a synonym for "test".

make check seems to be more common than make test, and "check" is the
recommended name according to the GNU standards. This patch teaches
the build system to support both targets. It also marks the test-clean,
check and test targets as phony.
t/makefile.test