git » libjio » commit 991c13f

Split Makefile's DEBUG into DEBUG and PROFILE

author Alberto Bertogli
2009-03-02 00:36:40 UTC
committer Alberto Bertogli
2009-03-02 00:41:22 UTC
parent 7b27277aed27424d3563aad21159926cf0334846
Split Makefile's DEBUG into DEBUG and PROFILE

There is no reason why a debug build should include the profile compiler
options, it just adds noise. This patch decouples the DEBUG option into
DEBUG and PROFILE.

Signed-off-by: Alberto Bertogli <albertito@blitiri.com.ar>
Makefile +4 -0 
diff --git a/Makefile b/Makefile
index e20507f..7a9ad9b 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,10 @@ MANDATORY_CFLAGS := \
 ALL_CFLAGS += $(CFLAGS) $(MANDATORY_CFLAGS) -fPIC
 
 ifdef DEBUG
+ALL_CFLAGS += -g
+endif
+
+ifdef PROFILE
 ALL_CFLAGS += -g -pg -fprofile-arcs -ftest-coverage
 endif