diff --git a/sim_timer.c b/sim_timer.c index 3b558728..3b12840d 100644 --- a/sim_timer.c +++ b/sim_timer.c @@ -102,7 +102,7 @@ static uint32 sim_throt_state = 0; static uint32 sim_throt_sleep_time = 0; static int32 sim_throt_wait = 0; static UNIT *sim_clock_unit = NULL; -static t_bool sim_asynch_timer = +t_bool sim_asynch_timer = #if defined (SIM_ASYNCH_CLOCKS) TRUE; #else @@ -701,6 +701,10 @@ t_stat sim_show_timers (FILE* st, DEVICE *dptr, UNIT* uptr, int32 val, char* des { int tmr; +if (sim_clock_unit) + fprintf (st, "%s clock device is %s\n", sim_name, sim_uname(sim_clock_unit)); +else + fprintf (st, "%s clock device is not specified, co-scheduling is unavailable\n", sim_name); for (tmr=0; tmr