diff --git a/Makefile b/Makefile
index ceb9dfc87d4a716518e856ab6305609af835a41d..4deda38c5052969e6acc886ca60455fb8a464990 100644 (file)
--- a/Makefile
+++ b/Makefile
# 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);