[GNUnet-SVN] [gnunet] branch master updated: disable valgrind

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 3223fc051 disable valgrind
3223fc051 is described below

commit 3223fc051f4f3c3d093dc61966df17c8fc60837f
Author: Christian Grothoff <address@hidden>
AuthorDate: Sun Feb 26 01:07:26 2017 +0100

    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

-- 
To stop receiving notification emails like this one, please contact
address@hidden