diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 00:42:04 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 00:42:04 +0100 |
commit | 31bef70568177a32929331e73a18e852bee7bd08 (patch) | |
tree | dffac5b2f3b41038b03310da3ddcfa8b51f645d7 /src/rps | |
parent | aa83696e631e8025a7db809c5973459e23bc80f4 (diff) | |
download | gnunet-31bef70568177a32929331e73a18e852bee7bd08.tar.gz gnunet-31bef70568177a32929331e73a18e852bee7bd08.zip |
fixing EXTRA_DIST issues'
Diffstat (limited to 'src/rps')
-rw-r--r-- | src/rps/profiler_rps.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rps/profiler_rps.conf b/src/rps/profiler_rps.conf index 1369d3fdf..375015cae 100644 --- a/src/rps/profiler_rps.conf +++ b/src/rps/profiler_rps.conf | |||
@@ -83,8 +83,8 @@ BLUETOOTH_QUOTA_OUT = unlimited | |||
83 | DISABLE_TRY_CONNECT = YES | 83 | 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 |
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 |