diff options
Diffstat (limited to 'gdb/gdbtk-hooks.c')
| -rw-r--r-- | gdb/gdbtk-hooks.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/gdbtk-hooks.c b/gdb/gdbtk-hooks.c index 8f6f19c..ff2e7f5 100644 --- a/gdb/gdbtk-hooks.c +++ b/gdb/gdbtk-hooks.c @@ -593,7 +593,9 @@ gdbtk_wait (pid, ourstatus) int pid; struct target_waitstatus *ourstatus; { - gdbtk_start_timer (); + /* Don't run the timer on various targets... */ + if (!STREQ (target_shortname, "ice")) + gdbtk_start_timer (); pid = target_wait (pid, ourstatus); gdbtk_stop_timer (); return pid; |