diff options
| -rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile index 5696e441cf..4f6eaa4ba6 100644 --- a/Makefile +++ b/Makefile @@ -305,6 +305,12 @@ endif test speed: all $(MAKE) -C tests $@ +.PHONY: check +check: $(patsubst %,run-check-%,$(CHECKS)) + +run-check-%: % + ./$< + .PHONY: TAGS TAGS: find "$(SRC_PATH)" -name '*.[hc]' -print0 | xargs -0 etags |