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 02afd2ec5..21fe984f8 100644 --- a/src/set/test_set.conf +++ b/src/set/test_set.conf | |||
| @@ -4,7 +4,7 @@ | |||
| 4 | GNUNET_TEST_HOME = $GNUNET_TMP/test-gnunet-set/ | 4 | GNUNET_TEST_HOME = $GNUNET_TMP/test-gnunet-set/ |
| 5 | 5 | ||
| 6 | [set] | 6 | [set] |
| 7 | AUTOSTART = YES | 7 | START_ON_DEMAND = YES |
| 8 | #PREFIX = valgrind --leak-check=full | 8 | #PREFIX = valgrind --leak-check=full |
| 9 | #PREFIX = gdbserver :1234 | 9 | #PREFIX = gdbserver :1234 |
| 10 | OPTIONS = -L INFO | 10 | OPTIONS = -L INFO |