|
From: <sv...@va...> - 2014-08-11 15:48:59
|
Author: florian
Date: Mon Aug 11 15:48:51 2014
New Revision: 14262
Log:
Correct a comment. We really should not specify the default values
here. Double maintenance.
Modified:
trunk/include/pub_tool_options.h
Modified: trunk/include/pub_tool_options.h
==============================================================================
--- trunk/include/pub_tool_options.h (original)
+++ trunk/include/pub_tool_options.h Mon Aug 11 15:48:51 2014
@@ -176,7 +176,7 @@
less aggressively if that is needed (callgrind needs this). */
extern VexControl VG_(clo_vex_control);
-/* Number of parents of a backtrace. Default: 8. */
+/* Number of parents of a backtrace. Default: 12 */
extern Int VG_(clo_backtrace_size);
/* Continue stack traces below main()? Default: NO */
|