From bdaccc289887c3b5bf29498dddbb06fbf66a00eb Mon Sep 17 00:00:00 2001 From: Christian Jullien Date: Fri, 2 Dec 2022 08:28:14 +0100 Subject: [PATCH] Minor -v improvement: remove extra space --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 0456f6aa..18d70727 100644 --- a/Makefile +++ b/Makefile @@ -245,8 +245,8 @@ FROM_GIT := $(shell git rev-parse >/dev/null 2>&1 && echo yes || echo no) ifeq ($(FROM_GIT),yes) GITHASH:=$(shell git rev-parse --abbrev-ref HEAD):$(shell git rev-parse --short HEAD) $(shell git log -1 --pretty='format:%cI') -GITHASH+=$(shell git diff --quiet || echo locally modified) -DEF_GITHASH := -DTCC_GITHASH="\"$(GITHASH)\"" +GITLOCAL:=$(shell git diff --quiet && echo ' locally modified') +DEF_GITHASH:= -DTCC_GITHASH="\"$(GITHASH)$(GITLOCAL)\"" endif ifeq ($(CONFIG_debug),yes)