Skip to content
Snippets Groups Projects
Commit e30b3205 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[headers] fixes from git outside a worktree

parent a2d8bd31
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 3 deletions
share/Makefile.headers
+ 5
− 3
View file @ e30b3205
...@@ -86,9 +86,10 @@ HDRCK_OPTS:= --stdin ...@@ -86,9 +86,10 @@ HDRCK_OPTS:= --stdin
ifeq ($(HEADER_SPEC),) ifeq ($(HEADER_SPEC),)
HEADER_HAS_GIT_FILE:=$(wildcard .git/HEAD) HEADER_HAS_GIT:=$(wildcard .git)r
ifeq ("$(HEADER_HAS_GIT_FILE)","") ifneq ($(HEADER_HAS_GIT),)
# From git
# From git (including git work-trees)
HDRCK_SPEC:= git ls-files -z | git check-attr --stdin -z header_spec HDRCK_SPEC:= git ls-files -z | git check-attr --stdin -z header_spec
else else
...@@ -158,6 +159,7 @@ headers: $(FRAMAC_HDRCK) ...@@ -158,6 +159,7 @@ headers: $(FRAMAC_HDRCK)
.PHONY: headers.info .PHONY: headers.info
headers.info: headers.info:
echo "FRAMAC_HDRCK='$(FRAMAC_HDRCK)'" echo "FRAMAC_HDRCK='$(FRAMAC_HDRCK)'"
echo "HEADER_HAS_GIT='$(HEADER_HAS_GIT)'"
echo "HEADER_OPEN_SOURCE='$(HEADER_OPEN_SOURCE)'" echo "HEADER_OPEN_SOURCE='$(HEADER_OPEN_SOURCE)'"
echo "HEADER_STRICT='$(HEADER_STRICT)'" echo "HEADER_STRICT='$(HEADER_STRICT)'"
echo "HEADER_DIRS='$(HEADER_STRICT)'" echo "HEADER_DIRS='$(HEADER_STRICT)'"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment