diff options
Diffstat (limited to 'src/set/test_set.conf')
-rw-r--r-- | src/set/test_set.conf | 1 |
1 files changed, 0 insertions, 1 deletions
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/ | |||
5 | 5 | ||
6 | [set] | 6 | [set] |
7 | AUTOSTART = YES | 7 | AUTOSTART = YES |
8 | PREFIX = valgrind | ||
9 | #PREFIX = valgrind --leak-check=full | 8 | #PREFIX = valgrind --leak-check=full |
10 | #PREFIX = gdbserver :1234 | 9 | #PREFIX = gdbserver :1234 |
11 | OPTIONS = -L INFO | 10 | OPTIONS = -L INFO |