From 9b8ae113c3008d9849c9c711a595e3b8037439f1 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Mon, 11 Feb 2013 13:33:37 -0200
Subject: grub-2.00-1.2: updating revision"

* Remove obsolete files
* Fixing OS parameter on 10_linux.in for others distros
---
 ...grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch

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

diff --git a/libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch b/libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch
deleted file mode 100644
index e1de26859..000000000
--- a/libre/grub/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