diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-05-23 18:33:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-23 18:33:11 +0200 |
| commit | e47cfe277e86d27c28c60d82464f0aec4ebc044b (patch) | |
| tree | fd50dc0f1a87298766aa6acc8aacd1d80cbaf163 | |
| parent | 166a175983edeacb9494e084ef84f6f7fdec1d91 (diff) | |
| parent | 87149b3f8e64adcd9c4025f58c71cc0afbd10571 (diff) | |
| download | yosys-e47cfe277e86d27c28c60d82464f0aec4ebc044b.tar.gz yosys-e47cfe277e86d27c28c60d82464f0aec4ebc044b.tar.bz2 yosys-e47cfe277e86d27c28c60d82464f0aec4ebc044b.zip | |
Merge pull request #3331 from YosysHQ/git_rev_fix
work around the new(ish) git safe.directory restrictions
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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: |