diff options
Diffstat (limited to 'src/set/test_set.conf')
| -rw-r--r-- | src/set/test_set.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/set/test_set.conf b/src/set/test_set.conf index ae7708c2d..30ccbde55 100644 --- a/src/set/test_set.conf +++ b/src/set/test_set.conf | |||
| @@ -5,7 +5,7 @@ GNUNET_TEST_HOME = /tmp/test-gnunet-set/ | |||
| 5 | 5 | ||
| 6 | [set] | 6 | [set] |
| 7 | AUTOSTART = YES | 7 | AUTOSTART = YES |
| 8 | #PREFIX = valgrind | 8 | PREFIX = valgrind |
| 9 | #PREFIX = valgrind --leak-check=full | 9 | #PREFIX = valgrind --leak-check=full |
| 10 | #PREFIX = gdbserver :1234 | 10 | #PREFIX = gdbserver :1234 |
| 11 | OPTIONS = -L INFO | 11 | OPTIONS = -L INFO |