diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -13,3 +13,7 @@ all %: echo 'Run configure first, or type "make" in a configured build directory.'; \ echo; \ fi + +# synonyms for "check" +.PHONY: regress regress0 regress1 regress2 regress3 test +regress regress0 regress1 regress2 regress3 test: check |