diff options
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 |
commit | b1ee97db4c7900246752ef7d58a21a745871ad7f (patch) | |
tree | 68b1830b5ce4a5132e6a8ece3e355422744acd5c /makefile | |
parent | 34fc0756d78462863aa2dbead64309bdede9d877 (diff) |
do not optimize SANITIZE builds by default (nw)
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -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 |