diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-11 13:33:37 -0200 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-02-11 13:33:37 -0200 |
commit | 9b8ae113c3008d9849c9c711a595e3b8037439f1 (patch) | |
tree | 1b53bc91e0f6dde53c20fa24618053b3b02c7f54 /libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | |
parent | bb388bd9d8a715e7e94618d1f7621277469ed227 (diff) |
grub-2.00-1.2: updating revision"
* Remove obsolete files
* Fixing OS parameter on 10_linux.in for others distros
Diffstat (limited to 'libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch')
-rw-r--r-- | libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | 15 |
1 files changed, 0 insertions, 15 deletions
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" - |