Support "make test" as an alias for "make check".

2023-08-28 17:46:56 +01:00
parent 0bd1b82d3a
commit a59465ff6e
1 changed files with 3 additions and 0 deletions
@@ -103,3 +103,6 @@ FORCE:

 clean-local:
 	rm -f src/*/*.e
+
+# Convenience alias for "make check": "make test"
+test: check