Added __umoddi3

[people/xl0/gpxe.git] / src / hci / shell_banner.c

diff --git a/src/hci/shell_banner.c b/src/hci/shell_banner.c
index 247a105..0448f99 100644 (file)
--- a/src/hci/shell_banner.c
+++ b/src/hci/shell_banner.c
@@ -43,7 +43,7 @@ int shell_banner ( void ) {
        int enter_shell = 0;
 
        /* Print welcome banner */
-       printf ( "\n\n\n" BOLD "gPXE " VERSION
+       printf ( NORMAL "\n\n\n" BOLD "gPXE " VERSION
                 NORMAL " -- Open Source Boot Firmware -- "
                 CYAN "http://etherboot.org" NORMAL "\n"
                 "Press Ctrl-B for the gPXE command line..." );