From 90fc347fb05ba4c884743f9dbbfbd506738e4798 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Sat, 10 Nov 2012 00:08:44 -0200
Subject: removing obsolete grub2

---
 ...grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch

(limited to 'libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch')

diff --git a/libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch b/libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch
deleted file mode 100755
index e1de26859..000000000
--- a/libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch
+++ /dev/null
@@ -1,15 +0,0 @@
-diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
-index 859c2e8..c4391dc 100644
---- a/util/grub-mkconfig.in
-+++ b/util/grub-mkconfig.in
-@@ -40,7 +40,9 @@ self=`basename $0`
- grub_probe="${sbindir}/`echo grub-probe | sed "${transform}"`"
- grub_script_check="${bindir}/`echo grub-script-check | sed "${transform}"`"
- 
--GRUB_PREFIX=`echo '/@bootdirname@/@grubdirname@' | sed "s,//*,/,g"`
-+if test -z "${GRUB_PREFIX}"; then
-+    GRUB_PREFIX=`echo '/@bootdirname@/@grubdirname@' | sed "s,//*,/,g"`
-+fi
- 
- . "${datadir}/@PACKAGE@/grub-mkconfig_lib"
- 
-- 
cgit v1.2.3