diff --git a/share/Makefile.linting b/share/Makefile.linting index 922fa4b162c729b3d8c9cfac6394cdf6d9fe384b..985e2ddd04c8dbb8a79ab981f59dc34bff5cb90d 100644 --- a/share/Makefile.linting +++ b/share/Makefile.linting @@ -217,8 +217,8 @@ LINT.$(1)-filter-targets=$$(addsuffix .$(1),$$(LINT.main-targets)) $$(LINT.$(1)-filter-targets):: LINT.FILE_LIST=$$(call LINT.file-list-from-git-diff,$(2)) $$(LINT.$(1)-filter-targets):: %.$(1) : $(3) % @echo [LINT] Done: LINT_DIFF=\"$(2)\" make $$(basename $$@) - @echo [LINT] git diff --name-status - $$(GIT) diff --name-status HEAD + @echo [LINT] checked file list: + $$(GIT) diff --name-status $(2) endef ifeq ($(LINT_DIFF),)