From 57eb2ec3125dbbf60a9d1a2635ddc19345e2e5c1 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 8 Jul 2015 20:48:24 +0000
Subject: DEFAULTSERVICES is dead, remove remains

---
 contrib/testbed_configs/testbed_infiniband.conf | 1 -
 1 file changed, 1 deletion(-)

(limited to 'contrib/testbed_configs/testbed_infiniband.conf')

diff --git a/contrib/testbed_configs/testbed_infiniband.conf b/contrib/testbed_configs/testbed_infiniband.conf
index aea11a18e..7ad50d77a 100644
--- a/contrib/testbed_configs/testbed_infiniband.conf
+++ b/contrib/testbed_configs/testbed_infiniband.conf
@@ -46,7 +46,6 @@ AUTOSTART = YES
 USE_EPHEMERAL_KEYS = NO
 
 [arm]
-DEFAULTSERVICES = core
 #PORT = 12366
 DEBUG = NO
 
-- 
cgit v1.2.3