/shark/trunk/ports/first/first-sync.c/first-sync.c |
---|
170,9 → 170,10 |
} |
if (was_deadline_missed != NULL) *was_deadline_missed = false; |
if (was_deadline_missed != NULL) |
*was_deadline_missed = false; |
if (was_budget_overran != NULL) |
*was_budget_overran = (bool)CBSSTAR_was_budget_overran(fsf_cbsstar_level,budget); |
*was_budget_overran = false; |
if (synch_handle->events > 0) { |
task_activate(exec_shadow); |