diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 17:51:29 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 17:51:38 +0100 |
commit | 6b659c8a65c34d194d6440489442c411bb3f4c26 (patch) | |
tree | d7ec6931b2ef6267a964ec14819323dbb9833d57 /src/rps/profiler_rps.conf | |
parent | aaca8161989c5af3f46251cd3e8d5fb531a5cb01 (diff) | |
download | gnunet-6b659c8a65c34d194d6440489442c411bb3f4c26.tar.gz gnunet-6b659c8a65c34d194d6440489442c411bb3f4c26.zip |
trying to fix #5532
Diffstat (limited to 'src/rps/profiler_rps.conf')
-rw-r--r-- | src/rps/profiler_rps.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rps/profiler_rps.conf b/src/rps/profiler_rps.conf index 375015cae..dc156f876 100644 --- a/src/rps/profiler_rps.conf +++ b/src/rps/profiler_rps.conf | |||
@@ -84,7 +84,7 @@ DISABLE_TRY_CONNECT = YES | |||
84 | 84 | ||
85 | [cadet] | 85 | [cadet] |
86 | OPTIONS=-l /tmp/rps_profiler_logs/cadet-[]-%Y-%m-%d.log | 86 | OPTIONS=-l /tmp/rps_profiler_logs/cadet-[]-%Y-%m-%d.log |
87 | PREFIX = valgrind | 87 | PREFIX = valgrind --log-file=/home/grothoff/cadet.%p.log |
88 | 88 | ||
89 | #[arm] | 89 | #[arm] |
90 | #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log | 90 | #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log |