Implement a GDB server in Valgrind. See #214909.
(Philippe Waroquiers, philippe.waroquiers@skynet.be)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11727 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/pub_tool_options.h b/include/pub_tool_options.h
index 7f85492..3dffd42 100644
--- a/include/pub_tool_options.h
+++ b/include/pub_tool_options.h
@@ -146,6 +146,12 @@
/* Show tool and core statistics */
extern Bool VG_(clo_stats);
+/* wait for vgdb/gdb after reporting that amount of error.
+ Note that this is the initial value provided from the command line.
+ The real value is maintained in VG_(dyn_vgdb_error) and
+ can be changed dynamically.*/
+extern Int VG_(clo_vgdb_error);
+
/* 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. */