diff options
Diffstat (limited to 'gdb/observer.sh')
| -rwxr-xr-x | gdb/observer.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/observer.sh b/gdb/observer.sh index c5d37799d61..2cc0e7fe90a 100755 --- a/gdb/observer.sh +++ b/gdb/observer.sh @@ -134,6 +134,8 @@ observer_notify_${event} (${formal}) { struct ${event}_args args; `echo ${actual} | sed -e 's/\([a-z0-9_][a-z0-9_]*\)/args.\1 = \1/g'`; + if (observer_debug) + fprintf_unfiltered (gdb_stdlog, "observer_notify_${event}() called\n"); generic_observer_notify (${event}_subject, &args); } EOF |