diff --git a/share/Makefile.linting b/share/Makefile.linting index 2384a35f18664f7eb0767887e86c0a86a5c33e53..caf1c36f0dfb1f26a98c7e106231251652d35b66 100644 --- a/share/Makefile.linting +++ b/share/Makefile.linting @@ -71,23 +71,23 @@ endif ifeq ($(LINTCK.ENABLED),yes) -.PHONY: lint -lint: +.PHONY: check-lint +check-lint: $(LINTCK.COLLECT) | $(LINTCK.CMD) $(LINTCK_EXTRA) -.PHONY: fix-lint -fix-lint: +.PHONY: lint +lint: $(LINTCK.COLLECT) | $(LINTCK.CMD) -u $(LINTCK_EXTRA) else -.PHONY: lint -lint: +.PHONY: check-lint +check-lint: $(error "Cannot lint: not a Git repository, \ you should specify LINTCK_FILES_INPUT") -.PHONY: fix-lint -fix-lint: +.PHONY: lint +lint: $(error "Cannot fix-lint: not a Git repository, \ you should specify LINTCK_FILES_INPUT")