diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/hci/shell.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/hci/shell.c b/src/hci/shell.c index c30d80188..3b1493fe9 100644 --- a/src/hci/shell.c +++ b/src/hci/shell.c @@ -39,8 +39,15 @@ static const char shell_prompt[] = "gPXE> "; static int exit_flag = 0; /** "exit" command body */ -static int exit_exec ( int argc __unused, char **argv __unused ) { - exit_flag = 1; +static int exit_exec ( int argc, char **argv __unused ) { + + if ( argc == 1 ) { + exit_flag = 1; + } else { + printf ( "Usage: exit\n" + "Exits the command shell\n" ); + } + return 0; } |