update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / include / pub_tool_options.h

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_options.h b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_options.h
index 7f85492518ba340acfa5ce2a9d4e90f53accb206..50493d772dd3ea539c7c8d226d689ddce97c6d22 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_options.h
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_tool_options.h
@@ -54,6 +54,8 @@
       Char* val = &(qq_arg)[ VG_(strlen)(qq_option)+1 ]; \
       if      VG_STREQ(val, "yes") (qq_var) = True; \
       else if VG_STREQ(val, "no")  (qq_var) = False; \
+      else VG_(fmsg_bad_option)(qq_arg, "Invalid boolean value '%s'" \
+                                " (should be 'yes' or 'no')\n", val);    \
       True; \
     }) \
    )
@@ -146,6 +148,12 @@ extern Int  VG_(clo_verbosity);
 /* 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. */