summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
author Oliver Stöneberg <firewave@users.noreply.github.com>2014-03-02 15:30:13 +0000
committer Oliver Stöneberg <firewave@users.noreply.github.com>2014-03-02 15:30:13 +0000
commitb1ee97db4c7900246752ef7d58a21a745871ad7f (patch)
tree68b1830b5ce4a5132e6a8ece3e355422744acd5c /makefile
parent34fc0756d78462863aa2dbead64309bdede9d877 (diff)
do not optimize SANITIZE builds by default (nw)
Diffstat (limited to 'makefile')
-rw-r--r--makefile11
1 files 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