diff options
Diffstat (limited to 'os/various/shell.c')
| -rw-r--r-- | os/various/shell.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/os/various/shell.c b/os/various/shell.c index 1fe03fc1e..8a247b9f4 100644 --- a/os/various/shell.c +++ b/os/various/shell.c @@ -206,6 +206,7 @@ static msg_t shell_thread(void *p) { }
chSysLock();
chEvtBroadcastI(&shell_terminated);
+ chSysUnlock();
return msg;
}
|