* util/grub-mkconfig.in: Skip non-executable files.

diff --git a/ChangeLog b/ChangeLog
index 89d04eee66a555632dfc7d3a79512128e35a804c..759d546bf47db4219309f2cb90d7a63287dfaa53 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-12-22  Lars Wendler <polynomial-c@gentoo.org>
+
+       * util/grub-mkconfig.in: Skip non-executable files.
+
 2013-12-22  Vladimir Serbinenko  <phcoder@gmail.com>
 
        Workaround buggy timer in raspberry pie by using our own timer

diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
index 0ca0db1897d0f8539571bd54fb619c95c2197d85..fe33092f9f049f13d07f43f498b25d99ad577257 100644 (file)
--- a/util/grub-mkconfig.in
+++ b/util/grub-mkconfig.in
@@ -260,10 +260,12 @@ for i in "${grub_mkconfig_dir}"/* ; do
       | "${grub_mkconfig_dir}"/30_os-prober \
       | "${grub_mkconfig_dir}"/40_custom \
       | "${grub_mkconfig_dir}"/41_custom)
+          if test -x "$i" ; then
              echo
               echo "### BEGIN $i ###"
               "$i"
               echo "### END $i ###"
+          fi
       ;;
     # emacsen backup files. FIXME: support other editors
     *~) ;;