From 24f945edce38e26d6e6129a3a36d91522ac8ed7a Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Wed, 20 Dec 2006 00:44:16 +0000
Subject: [PATCH] Add "exit --help" to preempt the pedants.

---
 src/hci/shell.c | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/hci/shell.c b/src/hci/shell.c
index c30d8018..3b1493fe 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;
 }