1 files changed, 4 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 43fd2e3b1..061f3d8d1 100644
--- a/Makefile
+++ b/Makefile
@@ -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