diff options
| author |   imarom <imarom@cisco.com> | 2016-09-28 14:57:43 +0300 |
|---|---|---|
| committer | imarom <imarom@cisco.com> | 2016-09-28 15:51:18 +0300 |
| commit | 5963a0384f1317d03f65247e96a82bef402b0be0 (patch) | |
| tree | 5746845621826bf07309e09aa174e3452d4620a2 /linux | |
| parent | 5497c271302aa417814aa2e368b1ab2cf1fcef62 (diff) | |
performance tweak - faster checksum
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']; |