Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Use BASIC_FLAGS for profile feedback
author
Andi Kleen
<ak@linux.intel.com>
Fri, 4 Jul 2014 23:43:48 +0000
(16:43 -0700)
committer
Junio 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
patch
|
blob
|
history
raw
|
patch
|
inline
| side by side (parent:
6f92e5f
)
diff --git
a/Makefile
b/Makefile
index 07ea1058379ab963648d0df7fd2917e0d2efa8a7..a9770ac4766a70a9259096b831f3b259f6d34ca3 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1552,13
+1552,13
@@
endif
PROFILE_DIR := $(CURDIR)
ifeq ("$(PROFILE)","GEN")
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)","")
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
export CCACHE_DISABLE = t
V = 1
endif