summaryrefslogtreecommitdiffstatshomepage
path: root/makefile
diff options
context:
space:
mode:
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
commitbf262c724e552c80deec79caf93ccae6fe614a1f (patch)
tree31eafae62a51a4e176363aad277de8c6dedab091 /makefile
parentc05e3e317c4de418efc1080f3d8ce7387205e31e (diff)
always enable SYMBOLS in case of SANITIZE (nw)
Diffstat (limited to 'makefile')
-rw-r--r--makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/makefile b/makefile
index eb17b25003b..548e2d86690 100644
--- a/makefile
+++ b/makefile
@@ -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