From 289c93827344bbc6953c7004bb3bd66d5799a861 Mon Sep 17 00:00:00 2001
From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>
Date: Wed, 30 Oct 2013 12:49:49 +0000
Subject: Improved shell.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/branches/kernel_3_dev@6398 35acf78f-673a-0410-8e92-d51de3d6d3f4
---
 os/various/shell.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'os/various/shell.h')

diff --git a/os/various/shell.h b/os/various/shell.h
index 7d576f36d..d7a7dbc60 100644
--- a/os/various/shell.h
+++ b/os/various/shell.h
@@ -70,6 +70,7 @@ extern event_source_t shell_terminated;
 extern "C" {
 #endif
   void shellInit(void);
+  void shellExit(msg_t msg);
   thread_t *shellCreate(const ShellConfig *scp, size_t size, tprio_t prio);
   thread_t *shellCreateStatic(const ShellConfig *scp, void *wsp,
                               size_t size, tprio_t prio);
-- 
cgit v1.2.3