static void tracepoint_notify PARAMS ((struct tracepoint *, const char *));
static void gdbtk_selected_frame_changed PARAMS ((int));
static void gdbtk_context_change PARAMS ((int));
-void (*context_hook) PARAMS ((int));
/*
* gdbtk_fputs can't be static, because we need to call it in gdbtk.c.
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;