diff options
author | Nils Gillmann <ng0@n0.is> | 2018-05-06 19:00:22 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-05-06 19:00:22 +0000 |
commit | 9fbda6db66bf8dc074de6c8792f369801e4e5999 (patch) | |
tree | 75185b338ec67cfce7c355970b2114d7a6ba86e5 /contrib/testbed_configs/regex_profiler_infiniband.conf | |
parent | 5f627ce1a78f662d928fa6c73a90342d8bff5cf3 (diff) | |
download | gnunet-9fbda6db66bf8dc074de6c8792f369801e4e5999.tar.gz gnunet-9fbda6db66bf8dc074de6c8792f369801e4e5999.zip |
Switch to $GNUNET_TMP in all configuration files.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'contrib/testbed_configs/regex_profiler_infiniband.conf')
-rw-r--r-- | contrib/testbed_configs/regex_profiler_infiniband.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/testbed_configs/regex_profiler_infiniband.conf b/contrib/testbed_configs/regex_profiler_infiniband.conf index 206423011..831ee0f76 100644 --- a/contrib/testbed_configs/regex_profiler_infiniband.conf +++ b/contrib/testbed_configs/regex_profiler_infiniband.conf | |||
@@ -86,7 +86,7 @@ USE_PROGRESSBARS = YES | |||
86 | PEERGROUP_TIMEOUT = 2400 s | 86 | PEERGROUP_TIMEOUT = 2400 s |
87 | 87 | ||
88 | [PATHS] | 88 | [PATHS] |
89 | SERVICEHOME = /tmp/perf-regex/ | 89 | SERVICEHOME = $GNUNET_TMP/perf-regex/ |
90 | 90 | ||
91 | [dns] | 91 | [dns] |
92 | AUTOSTART = NO | 92 | AUTOSTART = NO |