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/profiler_rps.conf | |
| parent | aa83696e631e8025a7db809c5973459e23bc80f4 (diff) | |
| download | gnunet-31bef70568177a32929331e73a18e852bee7bd08.tar.gz gnunet-31bef70568177a32929331e73a18e852bee7bd08.zip | |
fixing EXTRA_DIST issues'
Diffstat (limited to 'src/rps/profiler_rps.conf')
| -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 |