diff options
author | Johannes Sixt <j6t@kdbg.org> | 2012-02-09 09:22:26 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-02-09 11:47:54 -0800 |
commit | e60ec75948f197b82f867e31b74bb89323e6581f (patch) | |
tree | fe8fa93880bd1a819420045da1b4fb4705db8150 /Makefile | |
parent | Fix build problems related to profile-directed optimization (diff) | |
download | tgif-e60ec75948f197b82f867e31b74bb89323e6581f.tar.xz |
Makefile: fix syntax for older make
It is necessary to write the else branch as a nested conditional. Also,
write the conditions with parentheses because we use them throughout the
Makefile.
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1775,16 +1775,18 @@ endif # data gathering PROFILE_DIR := $(CURDIR) -ifeq "$(PROFILE)" "GEN" +ifeq ("$(PROFILE)","GEN") CFLAGS += -fprofile-generate=$(PROFILE_DIR) -DNO_NORETURN=1 EXTLIBS += -lgcov export CCACHE_DISABLE=t V=1 -else ifneq "$(PROFILE)" "" +else +ifneq ("$(PROFILE)","") CFLAGS += -fprofile-use=$(PROFILE_DIR) -fprofile-correction -DNO_NORETURN=1 export CCACHE_DISABLE=t V=1 endif +endif # Shell quote (do not use $(call) to accommodate ancient setups); |