diff options
| author | André Fabian Silva Delgado <andre@pc-01.localdomain> | 2012-03-30 03:21:36 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <andre@pc-01.localdomain> | 2012-03-30 03:21:36 -0300 |
| commit | 059069eb0c1b03a2f1ee680eb314c38a140e710f (patch) | |
| tree | 18cda909cea73060dc1e24b32883483714ccccf0 /libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | |
| parent | c75183839f29268eed6750501e22a1a888e67f61 (diff) | |
| download | abslibre-059069eb0c1b03a2f1ee680eb314c38a140e710f.tar.gz abslibre-059069eb0c1b03a2f1ee680eb314c38a140e710f.tar.bz2 abslibre-059069eb0c1b03a2f1ee680eb314c38a140e710f.zip | |
libre/grub2
Diffstat (limited to 'libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch')
| -rw-r--r-- | libre/grub2/grub-mkconfig-Use_outside_GRUB_PREFIX_if_defined.patch | 15 |
1 files changed, 15 insertions, 0 deletions
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 new file mode 100644 index 000000000..e1de26859 --- /dev/null +++ b/libre/grub2/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" + |