diff options
| author | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-09-28 01:28:53 -0300 |
|---|---|---|
| committer | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-09-28 01:28:53 -0300 |
| commit | be1869f8b454629cf5fce9ca52343e1c7f22f4d1 (patch) | |
| tree | 5f7502c442441d1fb6f00b5ef17649dedad300cb /libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch | |
| parent | 55b0c3522ff56f6ef5e65d3a6b15428331d10d4d (diff) | |
grub: fix name devicetree path (dtb -> dtbs)
Diffstat (limited to 'libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch')
| -rw-r--r-- | libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch b/libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch index 8c8e31788..6eeced53d 100644 --- a/libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch +++ b/libre/grub/grub-10_linux-20_linux_xen-detect-devicetree-dir.patch @@ -5,12 +5,12 @@ diff -Nur a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in initrd ${rel_dirname}/${initrd} EOF fi -+ if test -d "${rel_dirname}/dtb/${version}" ; then ++ if test -d "${rel_dirname}/dtbs/${version}" ; then + # TRANSLATORS: Device tree path isn't identifier. Should be translated. + message="$(gettext_printf "Loading devices tree path ...")" + sed "s/^/$submenu_indentation/" << EOF + echo '$(echo "$message" | grub_quote)' -+ devicetree ${rel_dirname}/dtb/${version} ++ devicetree ${rel_dirname}/dtbs/${version} +EOF + fi sed "s/^/$submenu_indentation/" << EOF @@ -20,8 +20,8 @@ diff -Nur a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in linux_root_device_thisversion=${GRUB_DEVICE} fi -+ if test -d "${dirname}/dtb/${version}" ; then -+ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtb/${version}" >&2 ++ if test -d "${dirname}/dtbs/${version}" ; then ++ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtbs/${version}" >&2 + fi + if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then @@ -34,12 +34,12 @@ diff -Nur a/util/grub.d/20_linux_xen.in b/util/grub.d/20_linux_xen.in module --nounzip ${rel_dirname}/${initrd} EOF fi -+ if test -d "${rel_dirname}/dtb/${version}" ; then ++ if test -d "${rel_dirname}/dtbs/${version}" ; then + # TRANSLATORS: Device tree path isn't identifier. Should be translated. + message="$(gettext_printf "Loading devices tree path ...")" + sed "s/^/$submenu_indentation/" << EOF + echo '$(echo "$message" | grub_quote)' -+ devicetree ${rel_dirname}/dtb/${version} ++ devicetree ${rel_dirname}/dtbs/${version} +EOF + fi sed "s/^/$submenu_indentation/" << EOF @@ -49,8 +49,8 @@ diff -Nur a/util/grub.d/20_linux_xen.in b/util/grub.d/20_linux_xen.in linux_root_device_thisversion=${GRUB_DEVICE} fi -+ if test -d "${dirname}/dtb/${version}" ; then -+ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtb/${version}" >&2 ++ if test -d "${dirname}/dtbs/${version}" ; then ++ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtbs/${version}" >&2 + fi + if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then |