From b5296ebccf5190bfc9f7976a1c88cd86d4ccf44c Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 13 Feb 2019 18:25:39 +0100
Subject: undo accidental commit

---
 src/rps/profiler_rps.conf | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/rps/profiler_rps.conf')

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
 
 [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
-- 
cgit v1.2.3