diff options
| author | Julius Bünger <buenger@mytum.de> | 2019-02-20 21:03:41 +0100 |
|---|---|---|
| committer | Julius Bünger <buenger@mytum.de> | 2019-02-20 21:03:41 +0100 |
| commit | d58328bbdf7924f8ea74fbdf23d4972c8b7b4d46 (patch) | |
| tree | ecbd1a8e9a2854749829d0df10cefc2efb50aebb /src/rps | |
| parent | 8a8b691067ca9e06a4915dcba24632a8953d3bc7 (diff) | |
| download | gnunet-d58328bbdf7924f8ea74fbdf23d4972c8b7b4d46.tar.gz gnunet-d58328bbdf7924f8ea74fbdf23d4972c8b7b4d46.zip | |
RPS tests: Provide valgrind logging
Diffstat (limited to 'src/rps')
| -rw-r--r-- | src/rps/test_rps.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rps/test_rps.conf b/src/rps/test_rps.conf index 1555a71a5..c22113af5 100644 --- a/src/rps/test_rps.conf +++ b/src/rps/test_rps.conf | |||
| @@ -82,7 +82,7 @@ DISABLE_TRY_CONNECT = YES | |||
| 82 | 82 | ||
| 83 | [cadet] | 83 | [cadet] |
| 84 | #OPTIONS=-l /tmp/rps_profiler_logs/cadet-[]-%Y-%m-%d.log | 84 | #OPTIONS=-l /tmp/rps_profiler_logs/cadet-[]-%Y-%m-%d.log |
| 85 | #PREFIX = valgrind | 85 | #PREFIX = valgrind --log-file=/tmp/rps/valgrind_gnunet-service-cadet_%p |
| 86 | 86 | ||
| 87 | #[arm] | 87 | #[arm] |
| 88 | #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log | 88 | #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log |