* util/grub-mkconfig_lib.in (grub_file_is_not_garbage): Sometimes

grub.d/README accidentally ends up executable for one reason or another. Ignore it.
2010-07-02 10:50:04 +01:00 · 2010-07-02 10:50:04 +01:00 · 8d4a2fec0d
commit 8d4a2fec0d
parent 1c4827beff
2 changed files with 7 additions and 0 deletions
--- a/util/grub-mkconfig_lib.in
+++ b/util/grub-mkconfig_lib.in
@ -128,6 +128,7 @@ grub_file_is_not_garbage ()
  if test -f "$1" ; then
    case "$1" in
      *.dpkg-*) return 1 ;; # debian dpkg
+      README*)  return 1 ;; # documentation
    esac
  else
    return 1