From b908d4905008d555cd1b1c2641626b772debc3f6 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 6 Sep 2022 18:39:19 +0200
Subject: [PATCH] [headers] fix identification of files that have been subject
 to git mv

---
 share/Makefile.headers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/Makefile.headers b/share/Makefile.headers
index 65b55c39da7..dcb65262090 100644
--- a/share/Makefile.headers
+++ b/share/Makefile.headers
@@ -207,7 +207,7 @@ else
 ifneq ($(HDRCK.HAS_GIT),)
 
 define HDRCK.file-list-from-git-diff
-$(GIT) diff --name-status $(1) | $(GREP) -v "^D" | $(SED) "s/^.[ \t]*//" | $(TR) '\n' '\000' | $(HDRCK.FILE_ATTR)
+$(GIT) diff --name-status $(1) | $(GREP) -v "^D" | $(SED) -e "s/^[CR][0-9]\+[ \t]\+[^ \t]\+[ \t]\+//" -e "s/^[AM][ \t]*//" | $(TR) '\n' '\000' | $(HDRCK.FILE_ATTR)
 endef
 
 HDRCK.main-targets=check-headers headers
-- 
GitLab