It would be very handy if the available tools were listed in the output of --help. Is this something that might make it into a future release? Did I overlook it?The only place I've seen such a list is in the online docs.
This feature was present in older versions but then some internals changed which made it harder to support, so it was dropped. Maybe the TOOLS and EXP_TOOLS variables in the top level Makefile could be passed into the compilation of m_main.c.
I was a bit lazy and just added to the text rather than trying to propagate TOOLS and EXP_TOOLS to the recursive make call in coregrind and then to m_main.c Might be a slight bother to packagers that add in out-of-repo tools.
commit 8fcc813468554b23c04d8db64f425b299df06ad0 (HEAD -> master, origin/master, origin/HEAD) Author: Paul Floyd <pjfloyd@wanadoo.fr> Date: Wed Jan 11 21:42:41 2023 +0100 Bug 241072 List tools in --help output