diff options
| -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 4c84a7b51..94aeb5045 100644 --- a/os/various/shell.c +++ b/os/various/shell.c @@ -205,6 +205,7 @@ static msg_t shell_thread(void *p) { chSysLock();
chEvtBroadcastI(&shell_terminated);
chThdExitS(msg);
+ return 0; /* Never executed.*/
}
/**
|