From 2b9d1073c695f0363202a00586e1994432d23347 Mon Sep 17 00:00:00 2001 From: William Jon McCann Date: Wed, 15 May 2013 13:53:48 -0400 Subject: [PATCH 091/215] Don't print GNU GRUB header No one cares. --- grub-core/normal/main.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c index b2654ef62e8..f57b7508a76 100644 --- a/grub-core/normal/main.c +++ b/grub-core/normal/main.c @@ -202,15 +202,16 @@ read_config_file (const char *config) /* Initialize the screen. */ void grub_normal_init_page (struct grub_term_output *term, - int y) + int y __attribute__((__unused__))) { + grub_term_cls (term); + +#if 0 grub_ssize_t msg_len; int posx; char *msg_formatted; grub_uint32_t *unicode_msg; grub_uint32_t *last_position; - - grub_term_cls (term); msg_formatted = grub_xasprintf (_("GNU GRUB version %s"), PACKAGE_VERSION); if (!msg_formatted) @@ -235,6 +236,7 @@ grub_normal_init_page (struct grub_term_output *term, grub_putcode ('\n', term); grub_putcode ('\n', term); grub_free (unicode_msg); +#endif } static void -- 2.15.0