From 3223fc051f4f3c3d093dc61966df17c8fc60837f Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 26 Feb 2017 01:07:26 +0100
Subject: [PATCH] disable valgrind

---
 src/set/test_set.conf | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/set/test_set.conf b/src/set/test_set.conf
index 30ccbde55..e28dfc6e9 100644
--- a/src/set/test_set.conf
+++ b/src/set/test_set.conf
@@ -5,7 +5,6 @@ GNUNET_TEST_HOME = /tmp/test-gnunet-set/
 
 [set]
 AUTOSTART = YES
-PREFIX = valgrind
 #PREFIX = valgrind --leak-check=full
 #PREFIX = gdbserver :1234
 OPTIONS = -L INFO
-- 
2.25.1