Add "exit --help" to preempt the pedants.

diff --git a/src/hci/shell.c b/src/hci/shell.c
index c30d801..3b1493f 100644 (file)
--- 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;
 }