diff --git a/console/shell.c b/console/shell.c index 016992397..7a502ecd4 100644 --- a/console/shell.c +++ b/console/shell.c @@ -22,7 +22,8 @@ #include #include - +#include +#include #ifdef WIN32 #include @@ -125,11 +126,36 @@ static void print_usage(void){ exit(-1); } +#ifdef WIN32 +static char *argv_to_line(int argc, char *argv[]) { + int i; + int line_length; + char *line; + + assert( argc>=0 ); + + if(argc == 0) return NULL; + + line_length = strlen(argv[0]); + for(i=1; i