diff options
| author | Zoltan Varga <vargaz@gmail.com> | 2009-10-13 22:25:47 +0400 |
|---|---|---|
| committer | Zoltan Varga <vargaz@gmail.com> | 2009-10-13 22:25:47 +0400 |
| commit | 3930d6b6268f3060c327e556f67fa60a2fd8de01 (patch) | |
| tree | b76915a23eda27a27e4e2f986a024f6c78ac610c /data | |
| parent | 7d4d186bb1de5478565b1c77934c4ac628c23c91 (diff) | |
2009-10-13 Zoltan Varga <vargaz@gmail.com>
* mono-gdb.py: Add an 'xdb' command to flush the debugging info.
svn path=/trunk/mono/; revision=144035
Diffstat (limited to 'data')
| -rw-r--r-- | data/gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | data/gdb/mono-gdb.py | 11 |
2 files changed, 15 insertions, 0 deletions
diff --git a/data/gdb/ChangeLog b/data/gdb/ChangeLog index 5197ee5b75a..03775d80c28 100644 --- a/data/gdb/ChangeLog +++ b/data/gdb/ChangeLog @@ -1,3 +1,7 @@ +2009-10-13 Zoltan Varga <vargaz@gmail.com> + + * mono-gdb.py: Add an 'xdb' command to flush the debugging info. + 2009-10-12 Zoltan Varga <vargaz@gmail.com> * mono-gdb.py: Update this to gdb 7.0. diff --git a/data/gdb/mono-gdb.py b/data/gdb/mono-gdb.py index bde4d588f09..ca0d19e294f 100644 --- a/data/gdb/mono-gdb.py +++ b/data/gdb/mono-gdb.py @@ -189,8 +189,19 @@ def register_csharp_printers(obj): obj.pretty_printers.append (lookup_pretty_printer) +# This command will flush the debugging info collected by the runtime +class XdbCommand (gdb.Command): + def __init__ (self): + super (XdbCommand, self).__init__ ("xdb", gdb.COMMAND_NONE, + gdb.COMPLETE_COMMAND) + + def invoke(self, arg, from_tty): + gdb.execute ("call mono_xdebug_flush ()") + register_csharp_printers (gdb.current_objfile()) +XdbCommand () + gdb.execute ("set environment MONO_XDEBUG gdb") print "Mono support loaded." |