From 991c13f664a12858f32974df952e531c42a63f7f Mon Sep 17 00:00:00 2001
From: Alberto Bertogli <albertito@blitiri.com.ar>
Date: Sun, 1 Mar 2009 22:36:40 -0200
Subject: [PATCH 27/31] 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 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

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
 
-- 
1.6.2.rc0.226.gf08f