git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@1455 35acf78f-673a-0410-8e92-d51de3d6d3f4

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) {