diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-13 23:00:39 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-13 23:00:39 -0500 |
| commit | fdc060c27365ebae705d78c0eda3092127ae8c3a (patch) | |
| tree | 1932cc7aa89ca6d98f57a86466b22e99d0f979de /ci/script.sh | |
| parent | 2fb00c7d85f2eee6caa0bc742afd496a6ef7f33c (diff) | |
remove system ceiling from `lock_mut` closure
now it's impossible to do a `borrow` within that critical section as a borrow of
the task priority is required (and that's already mutably borrowed by the
`lock_mut` closure)
Diffstat (limited to 'ci/script.sh')
0 files changed, 0 insertions, 0 deletions