diff --git a/Makefile.am b/Makefile.am index 594efbb..27b82b3 100644 --- a/Makefile.am +++ b/Makefile.am @@ -103,3 +103,6 @@ FORCE: clean-local: rm -f src/*/*.e + +# Convenience alias for "make check": "make test" +test: check