Merge pull request #3331 from YosysHQ/git_rev_fix

work around the new(ish) git safe.directory restrictions
This commit is contained in:
Miodrag Milanović 2022-05-23 18:33:11 +02:00 committed by GitHub
commit e47cfe277e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -130,7 +130,7 @@ LDLIBS += -lrt
endif
YOSYS_VER := 0.17+33
GIT_REV := $(shell git -C $(YOSYS_SRC) rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
GIT_REV := $(shell git ls-remote $(YOSYS_SRC) HEAD -q | $(AWK) 'BEGIN {R = "UNKNOWN"}; ($$2 == "HEAD") {R = substr($$1, 1, 9); exit} END {print R}')
OBJS = kernel/version_$(GIT_REV).o
bumpversion: