undo accidental commit

diff --git a/src/rps/profiler_rps.conf b/src/rps/profiler_rps.conf
index dc156f876b43d3e72366e7710641c080f7221e79..6049da5a07efde2ee03b7c2c663f262f87cc85dd 100644 (file)
--- a/src/rps/profiler_rps.conf
+++ b/src/rps/profiler_rps.conf
@@ -84,7 +84,6 @@ DISABLE_TRY_CONNECT = YES
 
 [cadet]
 OPTIONS=-l /tmp/rps_profiler_logs/cadet-[]-%Y-%m-%d.log
-PREFIX = valgrind --log-file=/home/grothoff/cadet.%p.log
 
 #[arm]
 #GLOBAL_POSTFIX=-l /tmp/rps_profiler_logs/other-[]-%Y-%m-%d.log