1 files changed, 4 insertions, 3 deletions
diff --git a/cpukit/libmisc/shell/shell.h b/cpukit/libmisc/shell/shell.h
index e901cb9c5d..19e1d97917 100644
--- a/cpukit/libmisc/shell/shell.h
+++ b/cpukit/libmisc/shell/shell.h
@@ -65,9 +65,10 @@ shell_cmd_t * shell_alias_cmd(
 );
 
 int shell_make_args(
-  char * cmd,
-  int  * pargc,
-  char * argv[]
+  char  *commandLine,
+  int   *argc_p, 
+  char **argv_p, 
+  int    max_args
 );
 
 int shell_scanline(char * line,int size,FILE * in,FILE * out) ;