diff options
author | Hanoh Haim <hhaim@cisco.com> | 2016-01-27 18:43:12 +0200 |
---|---|---|
committer | Hanoh Haim <hhaim@cisco.com> | 2016-01-27 18:43:12 +0200 |
commit | b06653f4fc66e6cdafaa2697f9553ae12b417e93 (patch) | |
tree | 46ea1b3470cf619972e4dcef09d877c9a25ee076 /linux | |
parent | 7351ddb52a2162fc2ac303c687a2ed50cbb0843e (diff) |
move api under scripts
Diffstat (limited to 'linux')
-rwxr-xr-x | linux/ws_main.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py index 22c52eea..5636965b 100755 --- a/linux/ws_main.py +++ b/linux/ws_main.py @@ -412,9 +412,10 @@ build_types = [ flags = ['-Wall', '-Werror', '-Wno-sign-compare', '-Wno-strict-aliasing'], rpath = ['.']), - build_option(name = "mock-rpc-server", use = [''], src = rpc_server_mock, debug_mode= DEBUG_,platform = PLATFORM_64, is_pie = False, - flags = ['-DTREX_RPC_MOCK_SERVER', '-Wall', '-Werror', '-Wno-sign-compare'], - rpath = ['.']), + # not supported any more + #build_option(name = "mock-rpc-server", use = [''], src = rpc_server_mock, debug_mode= DEBUG_,platform = PLATFORM_64, is_pie = False, + # flags = ['-DTREX_RPC_MOCK_SERVER', '-Wall', '-Werror', '-Wno-sign-compare'], + # rpath = ['.']), ] |