summaryrefslogtreecommitdiffstats
path: root/linux
diff options
context:
space:
mode:
authorHanoh Haim <hhaim@cisco.com>2016-01-27 18:43:12 +0200
committerHanoh Haim <hhaim@cisco.com>2016-01-27 18:43:12 +0200
commitb06653f4fc66e6cdafaa2697f9553ae12b417e93 (patch)
tree46ea1b3470cf619972e4dcef09d877c9a25ee076 /linux
parent7351ddb52a2162fc2ac303c687a2ed50cbb0843e (diff)
move api under scripts
Diffstat (limited to 'linux')
-rwxr-xr-xlinux/ws_main.py7
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 = ['.']),
]