diff options
author | Oliver Stöneberg <firewave@users.noreply.github.com> | 2014-02-21 10:28:19 +0000 |
---|---|---|
committer | Oliver Stöneberg <firewave@users.noreply.github.com> | 2014-02-21 10:28:19 +0000 |
commit | bf262c724e552c80deec79caf93ccae6fe614a1f (patch) | |
tree | 31eafae62a51a4e176363aad277de8c6dedab091 /makefile | |
parent | c05e3e317c4de418efc1080f3d8ce7387205e31e (diff) |
always enable SYMBOLS in case of SANITIZE (nw)
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -302,6 +302,11 @@ 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 |