diff options
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 |