diff options
| author |   imarom <imarom@cisco.com> | 2015-09-16 17:12:30 +0300 |
|---|---|---|
| committer | imarom <imarom@cisco.com> | 2015-09-16 17:12:30 +0300 |
| commit | 3b372bbe45931b853f3f906352a0cbdc89952c41 (patch) | |
| tree | 994c08f5b916029d7d700e502b0d37e63b3c1397 /linux/ws_main.py | |
| parent | dd99c3890d3bb7b4aab833927e85648cd6e86c85 (diff) | |
enabled all warnings for the mock RPC server target
Diffstat (limited to 'linux/ws_main.py')
| -rwxr-xr-x | linux/ws_main.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py index e9f21d11..789895d9 100755 --- a/linux/ws_main.py +++ b/linux/ws_main.py @@ -368,7 +368,8 @@ build_types = [ #build_option(name = "bp-sim", src = bp, debug_mode= RELEASE_,platform = PLATFORM_32, is_pie = False), build_option(name = "bp-sim", src = bp, debug_mode= RELEASE_,platform = PLATFORM_64, is_pie = False), - 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'], + 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', '-Werror'], rpath = ['.']), ] |