summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDan Klein <danklei@cisco.com>2015-08-25 10:23:30 +0300
committerDan Klein <danklei@cisco.com>2015-08-25 10:23:30 +0300
commit42053c95419042f36242b19d2416d112f7643e14 (patch)
tree27b878735be2559ce58420006993247c6fb94255
parent98bc71b1c21452c3d868c4a4d418a8aeaa5a43af (diff)
parenta628a35b10fbd38211c353f506a8c49c2cc3dd7e (diff)
Merge branch 'master' into dan_stateless
-rwxr-xr-xlinux/ws_main.py2
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),
]