summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
author Miodrag Milanovic <mmicko@gmail.com>2015-05-07 11:59:05 +0200
committer Miodrag Milanovic <mmicko@gmail.com>2015-05-07 11:59:05 +0200
commit4c7b1e344bc79c8323a8b50cbc2ad9ff32b8a245 (patch)
tree092a21a15be99b12e821ad4590239960bb674e6d
parent3034cb645148509387f72088baad0b5dd8ec2a24 (diff)
No optimization for PROFILE otherwise symbols are not right (nw)
-rw-r--r--makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/makefile b/makefile
index 5181b510391..1522688e10b 100644
--- a/makefile
+++ b/makefile
@@ -341,7 +341,6 @@ endif
ifdef PROFILE
PROFILER =
SYMBOLS = 1
-OPTIMIZE = 3
ifndef SYMLEVEL
SYMLEVEL = 1
endif