]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
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)
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.


No differences found