diff options
| author | lurchi <lurchi@strangeplace.net> | 2017-02-18 16:39:39 +0100 |
|---|---|---|
| committer | lurchi <lurchi@strangeplace.net> | 2017-02-18 16:39:39 +0100 |
| commit | dbd1c0216d81890be8125c7d17c7b3a93f2d2896 (patch) | |
| tree | 91eb66b17b2e71bf53db894ed890a341199e3a87 /src/set | |
| parent | 69571e06d124c74b8136f802a6b7d4a707654e3a (diff) | |
| download | gnunet-dbd1c0216d81890be8125c7d17c7b3a93f2d2896.tar.gz gnunet-dbd1c0216d81890be8125c7d17c7b3a93f2d2896.zip | |
no prefix for set either
Diffstat (limited to 'src/set')
| -rw-r--r-- | src/set/set.conf.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/set/set.conf.in b/src/set/set.conf.in index 462ce70ed..deaa07efb 100644 --- a/src/set/set.conf.in +++ b/src/set/set.conf.in | |||
| @@ -9,4 +9,4 @@ UNIXPATH = $GNUNET_RUNTIME_DIR/gnunet-service-set.sock | |||
| 9 | UNIX_MATCH_UID = YES | 9 | UNIX_MATCH_UID = YES |
| 10 | UNIX_MATCH_GID = YES | 10 | UNIX_MATCH_GID = YES |
| 11 | 11 | ||
| 12 | PREFIX = valgrind | 12 | #PREFIX = valgrind |