From 5bc7f09fc6cd7dc18a9fcb61c0c727e74edfbec8 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 20 Jul 2022 16:10:57 +0200
Subject: [PATCH] [Lint] checked file list

---
 share/Makefile.linting | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/share/Makefile.linting b/share/Makefile.linting
index 922fa4b162c..985e2ddd04c 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),)
-- 
GitLab