1 diff -ur grub-2.02-beta3.orig/util/grub-mkconfig_lib.in grub-2.02-beta3/util/grub-mkconfig_lib.in
2 --- grub-2.02-beta3.orig/util/grub-mkconfig_lib.in 2016-03-21 07:43:35.000000000 +0000
3 +++ grub-2.02-beta3/util/grub-mkconfig_lib.in 2016-03-21 07:53:53.176768000 +0000
6 grub_file_is_not_garbage ()
8 + if test -L "$1" ; then
11 if test -f "$1" ; then
13 *.dpkg-*) return 1 ;; # debian dpkg