summaryrefslogtreecommitdiffstats
path: root/linux/ws_main.py
diff options
context:
space:
mode:
Diffstat (limited to 'linux/ws_main.py')
-rwxr-xr-xlinux/ws_main.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py
index b843fcb5..a140e174 100755
--- a/linux/ws_main.py
+++ b/linux/ws_main.py
@@ -347,7 +347,7 @@ class build_option:
result+=['-m32'];
if self.isRelease () :
- result+=['-O2'];
+ result+=['-O3'];
else:
result+=['-O0','-DDEBUG','-D_DEBUG','-DSTILE_CPP_ASSERT','-DSTILE_SHIM_ASSERT'];