diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2009-12-21 13:17:28 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2009-12-21 13:17:28 +0000 |
| commit | 4d41c9904f1929b28e03cd39c8a0acc39cc8fe25 (patch) | |
| tree | 94f7e3479768bc4a1cde7444d4bf10ddfab4f1a8 | |
| parent | 386fb08bd241df962874f4688a0c7124d66ef29e (diff) | |
| download | ChibiOS-4d41c9904f1929b28e03cd39c8a0acc39cc8fe25.tar.gz ChibiOS-4d41c9904f1929b28e03cd39c8a0acc39cc8fe25.tar.bz2 ChibiOS-4d41c9904f1929b28e03cd39c8a0acc39cc8fe25.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1455 35acf78f-673a-0410-8e92-d51de3d6d3f4
| -rw-r--r-- | os/various/shell.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/various/shell.c b/os/various/shell.c index c069b7fcb..26bf68e2e 100644 --- a/os/various/shell.c +++ b/os/various/shell.c @@ -39,6 +39,7 @@ */
EventSource shell_terminated;
+#if defined(WIN32)
/*
* MinGW does not seem to have this function...
*/
@@ -58,6 +59,7 @@ static char *strtok_r(char *str, const char *delim, char **saveptr) { return *token ? token : NULL;
}
+#endif
static void usage(BaseChannel *chp, char *p) {
|