diff options
author | root <root@rshg054.dnsready.net> | 2012-08-27 03:20:03 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-08-27 03:20:03 +0000 |
commit | feeabffe5469ebe2fde0e79802e470d007528b85 (patch) | |
tree | 1b98f3d07f0a38f721bc038e4e6a724ad5fc264d /libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | |
parent | fda2b119766956ebbf97ba80640e6eeb1519cad4 (diff) |
Mon Aug 27 03:20:01 UTC 2012
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, 15 insertions, 0 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 new file mode 100644 index 000000000..e1de26859 --- /dev/null +++ b/libre/grub/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch @@ -0,0 +1,15 @@ +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" + |