profiler now depends on config file to give topology option

diff --git a/contrib/testbed_infiniband.conf b/contrib/testbed_infiniband.conf
index e8cd409c09008bb67ee68c25b39196634613fdb4..568ddf7c5e7adbc256b15212eb5e976de75b2a99 100644 (file)
--- a/contrib/testbed_infiniband.conf
+++ b/contrib/testbed_infiniband.conf
@@ -4,6 +4,7 @@ PORT = 12113
 ACCEPT_FROM = 127.0.0.1; 192.168.1.0/24;
 HOSTNAME = localhost
 MAX_PARALLEL_TOPOLOGY_CONFIG_OPERATIONS = 5
+OVERLAY_TOPOLOGY = CLIQUE
 # LOG_FILE = /tmp/testbed.log
 #PREFIX = xterm -geometry 100x85 -T peer1 -e libtool --mode=execute gdb --args