From 3deedfc0336a0c8084c40eeef045b848613bc719 Mon Sep 17 00:00:00 2001
From: Lars Wendler <polynomial-c@gentoo.org>
Date: Sun, 22 Dec 2013 16:38:28 +0100
Subject: [PATCH] 	* util/grub-mkconfig.in: Skip non-executable files.

---
 ChangeLog             | 4 ++++
 util/grub-mkconfig.in | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 89d04eee6..759d546bf 100644
--- 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 0ca0db189..fe33092f9 100644
--- 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
     *~) ;;