diff options
Diffstat (limited to 'gpxe/src/hci')
-rw-r--r-- | gpxe/src/hci/shell_banner.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gpxe/src/hci/shell_banner.c b/gpxe/src/hci/shell_banner.c index 8afefe3d..b92e08e3 100644 --- a/gpxe/src/hci/shell_banner.c +++ b/gpxe/src/hci/shell_banner.c @@ -41,6 +41,9 @@ 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 */ |