diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/hci/shell_banner.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/hci/shell_banner.c b/src/hci/shell_banner.c index 8afefe3df..dbe376739 100644 --- 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 */ |