[shell_banner] Avoid printing Ctrl-B prompt if BANNER_TIMEOUT <= 0

Signed-off-by: Marty Connor <mdc@etherboot.org>

diff --git a/src/hci/shell_banner.c b/src/hci/shell_banner.c
index 8afefe3..dbe3767 100644 (file)
--- a/src/hci/shell_banner.c
+++ b/src/hci/shell_banner.c
@@ -41,6 +41,10 @@ int shell_banner ( void ) {
        int wait_count;
        int key;
 
+       if ( BANNER_TIMEOUT <=  0 ) {
+               return enter_shell;
+       }
+
        printf ( "\nPress Ctrl-B for the gPXE command line..." );
 
        /* Wait for key */