diff options
Diffstat (limited to 'os/various/shell.h')
| -rw-r--r-- | os/various/shell.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/os/various/shell.h b/os/various/shell.h index 384a6a200..ef2676a74 100644 --- a/os/various/shell.h +++ b/os/various/shell.h @@ -70,6 +70,7 @@ extern EventSource shell_terminated; extern "C" {
#endif
void shellInit(void);
+ void shellExit(msg_t msg);
Thread *shellCreate(const ShellConfig *scp, size_t size, tprio_t prio);
Thread *shellCreateStatic(const ShellConfig *scp, void *wsp,
size_t size, tprio_t prio);
|