mirror of
https://src.fedoraproject.org/rpms/grub2.git
synced 2024-11-28 07:44:52 +00:00
f4c76c02ae
Signed-off-by: Peter Jones <pjones@redhat.com>
33 lines
880 B
Diff
33 lines
880 B
Diff
From 0d083e108f6f49c9dddc518a311f7d6718981789 Mon Sep 17 00:00:00 2001
|
|
From: William Jon McCann <william.jon.mccann@gmail.com>
|
|
Date: Wed, 15 May 2013 13:53:48 -0400
|
|
Subject: [PATCH 17/74] Don't print GNU GRUB header
|
|
|
|
No one cares.
|
|
---
|
|
grub-core/normal/main.c | 2 ++
|
|
1 file changed, 2 insertions(+)
|
|
|
|
diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c
|
|
index 23e2d3f..8e2ec37 100644
|
|
--- a/grub-core/normal/main.c
|
|
+++ b/grub-core/normal/main.c
|
|
@@ -212,6 +212,7 @@ grub_normal_init_page (struct grub_term_output *term,
|
|
|
|
grub_term_cls (term);
|
|
|
|
+#if 0
|
|
msg_formatted = grub_xasprintf (_("GNU GRUB version %s"), PACKAGE_VERSION);
|
|
if (!msg_formatted)
|
|
return;
|
|
@@ -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.4.3
|
|
|