From b1ee97db4c7900246752ef7d58a21a745871ad7f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oliver=20St=C3=B6neberg?= Date: Sun, 2 Mar 2014 15:30:13 +0000 Subject: [PATCH] do not optimize SANITIZE builds by default (nw) --- makefile | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/makefile b/makefile index b440a7e9101..75f419ce075 100644 --- a/makefile +++ b/makefile @@ -276,6 +276,11 @@ BUILD_MIDILIB = 1 # sanity check the configuration #------------------------------------------------- +# enable symbols as it is useless without them +ifdef SANITIZE +SYMBOLS = 1 +endif + # specify a default optimization level if none explicitly stated ifndef OPTIMIZE ifndef SYMBOLS @@ -292,6 +297,7 @@ PROFILER = 1 endif endif +# TODO: also move it up, so it isn't optimized by default? # allow gprof profiling as well, which overrides the internal PROFILER # also enable symbols as it is useless without them ifdef PROFILE @@ -302,11 +308,6 @@ SYMLEVEL = 1 endif endif -# enable symbols as it is useless without them -ifdef SANITIZE -SYMBOLS = 1 -endif - # set the symbols level ifdef SYMBOLS ifndef SYMLEVEL