From 1cf5b6d44249bbedc296827dd6cae14c2d369632 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 26 Jul 2022 14:32:57 +0200
Subject: [PATCH] [Lint/Headers] fixes determination if directory is under git
 control

---
 share/Makefile.headers | 8 ++++----
 share/Makefile.linting | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/share/Makefile.headers b/share/Makefile.headers
index 8b243dae357..7a0c6af0ae2 100644
--- a/share/Makefile.headers
+++ b/share/Makefile.headers
@@ -106,8 +106,8 @@ HDRCK.FILE_ATTR=$(GIT) check-attr --stdin -z header_spec
 
 ifeq ($(HEADER_SPEC),)
 
-HDRCK.HAS_GIT:=$(wildcard .git)
-ifneq ($(HDRCK.HAS_GIT),)
+HDRCK.HAS_GIT:=$(shell git rev-parse --is-inside-work-tree 2> /dev/null)
+ifeq ($(HDRCK.HAS_GIT),true)
 
 # From git (including git work-trees)
 HDRCK.SPEC:=$(HDRCK.FILE_LIST) | $(HDRCK.FILE_ATTR)
@@ -124,8 +124,8 @@ else # HEADER_SPEC
 
 ifeq ($(HEADER_SAVE_SPEC),yes)
 
-HDRCK.HAS_GIT:=$(wildcard .git)
-ifneq ($(HDRCK.HAS_GIT),)
+HDRCK.HAS_GIT:=$(shell git rev-parse --is-inside-work-tree 2> /dev/null)
+ifeq ($(HDRCK.HAS_GIT),true)
 
 # From git (including git work-trees)
 HDRCK.SPEC:= $(HDRCK.FILE_LIST) | $(HDRCK.FILE_ATTR) | $(TEE) $(HEADER_SPEC)
diff --git a/share/Makefile.linting b/share/Makefile.linting
index afaf8e870e5..700afae6558 100644
--- a/share/Makefile.linting
+++ b/share/Makefile.linting
@@ -161,8 +161,8 @@ LINT.check-targets= \
 LINT.fix-targets=$(subst check-,fix-,$(LINT.check-targets))
 LINT.main-targets=lint $(LINT.check-targets) $(LINT.fix-targets)
 
-LINT.HAS_GIT:=$(wildcard .git)
-ifeq ($(LINT.HAS_GIT),)
+LINT.HAS_GIT:=$(shell git rev-parse --is-inside-work-tree 2> /dev/null)
+ifneq ($(LINT.HAS_GIT),true)
 
 .PHONY: lint
 lint:
-- 
GitLab