]> granicus.if.org Git - git/commitdiff
Use BASIC_FLAGS for profile feedback
authorAndi Kleen <ak@linux.intel.com>
Fri, 4 Jul 2014 23:43:48 +0000 (16:43 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Jul 2014 21:01:11 +0000 (14:01 -0700)
Use BASIC_CFLAGS instead of CFLAGS to set up the profile feedback
option in the Makefile.

This allows still overriding CFLAGS on the make command line
without disabling profile feedback.

Signed-off-by: Andi Kleen <ak@linux.intel.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile

index 07ea1058379ab963648d0df7fd2917e0d2efa8a7..a9770ac4766a70a9259096b831f3b259f6d34ca3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1552,13 +1552,13 @@ endif
 PROFILE_DIR := $(CURDIR)
 
 ifeq ("$(PROFILE)","GEN")
-       CFLAGS += -fprofile-generate=$(PROFILE_DIR) -DNO_NORETURN=1
+       BASIC_CFLAGS += -fprofile-generate=$(PROFILE_DIR) -DNO_NORETURN=1
        EXTLIBS += -lgcov
        export CCACHE_DISABLE = t
        V = 1
 else
 ifneq ("$(PROFILE)","")
-       CFLAGS += -fprofile-use=$(PROFILE_DIR) -fprofile-correction -DNO_NORETURN=1
+       BASIC_CFLAGS += -fprofile-use=$(PROFILE_DIR) -fprofile-correction -DNO_NORETURN=1
        export CCACHE_DISABLE = t
        V = 1
 endif