15 lines
523 B
Plaintext
15 lines
523 B
Plaintext
Remove hardcoded optimizations.
|
|
|
|
Index: core/scripts/mk_util.py
|
|
--- core/scripts/mk_util.py.orig
|
|
+++ core/scripts/mk_util.py
|
|
@@ -2489,7 +2489,7 @@ def mk_config():
|
|
EXAMP_DEBUG_FLAG = '-g'
|
|
CPPFLAGS = '%s -DZ3DEBUG -D_DEBUG' % CPPFLAGS
|
|
else:
|
|
- CXXFLAGS = '%s -O3' % CXXFLAGS
|
|
+ CXXFLAGS = '%s' % CXXFLAGS
|
|
if GPROF:
|
|
CXXFLAGS += '-fomit-frame-pointer'
|
|
CPPFLAGS = '%s -DNDEBUG -D_EXTERNAL_RELEASE' % CPPFLAGS
|