diff options
| author |   imarom <imarom@cisco.com> | 2015-09-03 05:16:12 +0300 |
|---|---|---|
| committer | imarom <imarom@cisco.com> | 2015-09-03 05:16:12 +0300 |
| commit | 1912c95b5480cd601581a00645bb2e75e9c6e7a3 (patch) | |
| tree | 3ddf98b540677f296f9da7daf9c1e14d0970cc05 /linux/ws_main.py | |
| parent | 6669a4dd3176e21ef8e99fc4a90ecd7a42566be9 (diff) | |
| parent | 463cb7c212e927a732fb5b702a288a06550c5eb8 (diff) | |
Merge branch 'master' into rpc
Diffstat (limited to 'linux/ws_main.py')
| -rwxr-xr-x | linux/ws_main.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py index dc22be07..5bf9a743 100755 --- a/linux/ws_main.py +++ b/linux/ws_main.py @@ -362,9 +362,9 @@ class build_option: build_types = [ - build_option(name = "bp-sim", src = bp, debug_mode= DEBUG_, platform = PLATFORM_32, is_pie = False), + #build_option(name = "bp-sim", src = bp, debug_mode= DEBUG_, platform = PLATFORM_32, is_pie = False), 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_32, is_pie = False), + #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'], |