diff options
Diffstat (limited to 'linux')
| -rwxr-xr-x | linux/ws_main.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linux/ws_main.py b/linux/ws_main.py index 9422a8ff..58f5b661 100755 --- a/linux/ws_main.py +++ b/linux/ws_main.py @@ -258,6 +258,7 @@ includes_path =''' ../src/pal/linux/ ../src/rpc-server/ ../src/stateless/cp/ ../src/stateless/dp/ + ../src/stateless/rx/ ../src/stateless/messaging/ ../external_libs/json/ ../external_libs/zmq/include/ |