|
From: <sv...@va...> - 2014-09-07 19:53:50
|
Author: sewardj
Date: Sun Sep 7 19:53:41 2014
New Revision: 14489
Log:
Disable default-yes setting of read-inline-info for MacOS, and enable
it for drd on Linux.
Modified:
trunk/coregrind/m_main.c
Modified: trunk/coregrind/m_main.c
==============================================================================
--- trunk/coregrind/m_main.c (original)
+++ trunk/coregrind/m_main.c Sun Sep 7 19:53:41 2014
@@ -1812,14 +1812,17 @@
// BEGIN HACK
vg_assert(toolname != NULL);
vg_assert(VG_(clo_read_inline_info) == False);
+# if !defined(VGO_darwin)
if (0 == VG_(strcmp)(toolname, "memcheck")
- || 0 == VG_(strcmp)(toolname, "helgrind")) {
+ || 0 == VG_(strcmp)(toolname, "helgrind")
+ || 0 == VG_(strcmp)(toolname, "drd")) {
/* Change the default setting. Later on (just below)
main_process_cmd_line_options should pick up any
user-supplied setting for it and will override the default
set here. */
VG_(clo_read_inline_info) = True;
}
+# endif
// END HACK
// Set default vex control params
|