add --vgdb-prefix arg to callgrind_control
If valgrind is started with --vgdb-prefix arg, then callgrind_control
cannot find and control this valgrind.
So, add an (optional) argument to callgrind_control,
and have callgrind tool report the needed vgdb prefix argument
if the user supplied this arg.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13769 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/pub_tool_options.h b/include/pub_tool_options.h
index 7b80d3d..2ad1da8 100644
--- a/include/pub_tool_options.h
+++ b/include/pub_tool_options.h
@@ -155,6 +155,14 @@
can be changed dynamically.*/
extern Int VG_(clo_vgdb_error);
+/* If user has provided the --vgdb-prefix command line option,
+ VG_(arg_vgdb_prefix) points at the provided argument (including the
+ '--vgdb-prefix=' string).
+ Otherwise, it is NULL.
+ Typically, this is used by tools to produce user message with the
+ expected vgdb prefix argument, if the user has changed the default. */
+extern const HChar *VG_(arg_vgdb_prefix);
+
/* Emit all messages as XML? default: NO */
/* If clo_xml is set, various other options are set in a non-default
way. See vg_main.c and mc_main.c. */