diff options
author | Dan Klein <danklei@cisco.com> | 2015-08-25 10:11:39 +0300 |
---|---|---|
committer | Dan Klein <danklei@cisco.com> | 2015-08-25 10:11:39 +0300 |
commit | a628a35b10fbd38211c353f506a8c49c2cc3dd7e (patch) | |
tree | 64c3f10ca0213c5e2be661b7a5dccafe531e6b9d | |
parent | 36c6c87fe4380b214f8ff8a45dc0213fa109821c (diff) |
Fixed compilation by commenting Itay's rpc-server build
-rwxr-xr-x | linux/ws_main.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py index f30a7be3..1f096788 100755 --- a/linux/ws_main.py +++ b/linux/ws_main.py @@ -351,7 +351,7 @@ 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), + # build_option(name = "mock-rpc-server", use = ['zmq'], src = rpc_server_mock, debug_mode= DEBUG_,platform = PLATFORM_64, is_pie = False), ] |