dist: rename config option to ENABLE_RDMA from ENABLE_DIST
As this is only required because the rdma proxy has external dependencies.
Showing
Please register or sign in to comment
As this is only required because the rdma proxy has external dependencies.