diff options
Diffstat (limited to 'linux')
-rwxr-xr-x | linux/ws_main.py | 2 |
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']; |