diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-13 18:25:39 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-13 18:25:39 +0100 |
| commit | b5296ebccf5190bfc9f7976a1c88cd86d4ccf44c (patch) | |
| tree | 67c290cd02da718fe15895193af33e195ec531b1 /src/rps | |
| parent | 6b659c8a65c34d194d6440489442c411bb3f4c26 (diff) | |
| download | gnunet-b5296ebccf5190bfc9f7976a1c88cd86d4ccf44c.tar.gz gnunet-b5296ebccf5190bfc9f7976a1c88cd86d4ccf44c.zip | |
undo accidental commit
Diffstat (limited to 'src/rps')
| -rw-r--r-- | src/rps/profiler_rps.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/rps/profiler_rps.conf b/src/rps/profiler_rps.conf index dc156f876..6049da5a0 100644 --- a/src/rps/profiler_rps.conf +++ b/src/rps/profiler_rps.conf | |||
| @@ -84,7 +84,6 @@ 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 --log-file=/home/grothoff/cadet.%p.log | ||
| 88 | 87 | ||
| 89 | #[arm] | 88 | #[arm] |
| 90 | #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log | 89 | #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log |