From 5aeb970dc247c7573aca7f62bcca54328d9e6464 Mon Sep 17 00:00:00 2001
From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
Date: Mon, 19 Aug 2019 00:26:18 +0200
Subject: [PATCH] Fix README_DEVELOPERS tool executable in debugging
 instruction examples.

---
 README_DEVELOPERS | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README_DEVELOPERS b/README_DEVELOPERS
index 3a36fc4792..97f2329059 100644
--- a/README_DEVELOPERS
+++ b/README_DEVELOPERS
@@ -99,11 +99,11 @@ without too much problem by following these steps:
 
 (2) Run gdb on the tool executable.  Eg:
 
-      gdb /usr/local/lib/valgrind/ppc32-linux/lackey
+      gdb /usr/local/lib/valgrind/lackey-ppc32-linux
 
     or
 
-      gdb $DIR/.in_place/x86-linux/memcheck
+      gdb $DIR/.in_place/memcheck-x86-linux
 
 (3) Do "handle SIGSEGV SIGILL nostop noprint" in GDB to prevent GDB from
     stopping on a SIGSEGV or SIGILL:
-- 
2.47.2