diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -35,6 +35,8 @@ lint: $(MAKE) -C test lint test: - $(MAKE) -C test + $(MAKE) -C test all -.PHONY: install uninstall lint test +check: lint test + +.PHONY: install uninstall lint test check |