From 0cd55e1d7ccbd08e78a213dba3f8dd0d6479a8b0 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Fri, 12 Jul 2024 11:00:36 +0200 Subject: [PATCH] Makefile: fix --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 25a039256..fdb78a986 100644 --- a/Makefile +++ b/Makefile @@ -150,7 +150,7 @@ YOSYS_VER := 0.43+3 # will have this file in its unexpanded form tough, in which case we fall # back to calling git directly. TARBALL_GIT_REV := $(shell cat $(YOSYS_SRC)/.gitcommit) -ifneq ($(findstring "Format:",$(TARBALL_GIT_REV)),) +ifneq ($(findstring Format:,$(TARBALL_GIT_REV)),) GIT_REV := $(shell GIT_DIR=$(YOSYS_SRC)/.git git rev-parse --short=9 HEAD || echo UNKNOWN) else GIT_REV := $(TARBALL_GIT_REV)