|
From: Dominic R. <Dom...@gm...> - 2008-02-18 19:08:37
|
Hi list, I've committed a change that removes the #if around Øyvind's GDB data abort workaround, and uses a configuration option instead. The new option is "gdb_report_data_abort <'enable'|'disable'>", with a default of being disabled. This assumes that it's better to not report a data abort instead of having GDB fail, but users who are aware of these issues can still enable the old behaviour. Best regards, Dominic |