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