diff options
author | 2015-11-09 11:05:34 +0200 | |
---|---|---|
committer | 2015-11-09 11:05:34 +0200 | |
commit | c6d2cb0554ebc39142fb433040a968714a7ec24f (patch) | |
tree | 3594c3e602069c08ed835a1cef0a5e5334fca96d /linux | |
parent | cb98f7938f3ea85c57de66c6f6919accdcc16fb4 (diff) | |
parent | 67bcc46be09049d2ca65c0af2aa6a2fe0821eb04 (diff) |
Merge branch intg1
Diffstat (limited to 'linux')
-rwxr-xr-x | linux/ws_main.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py index 951d89b1..d020411a 100755 --- a/linux/ws_main.py +++ b/linux/ws_main.py @@ -393,11 +393,13 @@ class build_option: build_types = [ - build_option(name = "bp-sim", src = bp, debug_mode= DEBUG_, platform = PLATFORM_64, is_pie = False), - build_option(name = "bp-sim", src = bp, debug_mode= RELEASE_,platform = PLATFORM_64, is_pie = False), + build_option(name = "bp-sim", src = bp, debug_mode= DEBUG_, platform = PLATFORM_64, is_pie = False, + flags = ['-Wall', '-Werror', '-Wno-sign-compare', '-Wno-strict-aliasing']), + build_option(name = "bp-sim", src = bp, debug_mode= RELEASE_,platform = PLATFORM_64, is_pie = False, + flags = ['-Wall', '-Werror', '-Wno-sign-compare', '-Wno-strict-aliasing']), build_option(name = "mock-rpc-server", use = ['zmq'], src = rpc_server_mock, debug_mode= DEBUG_,platform = PLATFORM_64, is_pie = False, - flags = ['-DTREX_RPC_MOCK_SERVER', '-Wall', '-Wno-sign-compare'], + flags = ['-DTREX_RPC_MOCK_SERVER', '-Wall', '-Werror', '-Wno-sign-compare'], rpath = ['.']), ] |