| /shark/trunk/ports/first/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); |