From 61da760afe83f566835b3b718e875c1eed904172 Mon Sep 17 00:00:00 2001
From: Mark Wielaard <mark@klomp.org>
Date: Thu, 16 Feb 2023 13:44:08 +0100
Subject: [PATCH] README_DEVELOPERS: Explain how to set VALGRIND_LIB to gdb
 valgrind

---
 README_DEVELOPERS | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README_DEVELOPERS b/README_DEVELOPERS
index 6f7d1a9eee..5b0a1bc6ad 100644
--- a/README_DEVELOPERS
+++ b/README_DEVELOPERS
@@ -96,6 +96,11 @@ without too much problem by following these steps:
     or for an uninstalled version in a source directory $DIR:
 
       export VALGRIND_LAUNCHER=$DIR/coregrind/valgrind
+      export VALGRIND_LIB=$DIR/.in_place
+
+    VALGRIND_LIB is where the default.supp and vgpreload_ libraries
+    are found (which is under /usr/libexec/valgrind for an installed
+    version).
 
 (2) Run gdb on the tool executable.  Eg:
 
-- 
2.43.5