---- grub-1.99/util/grub-mkconfig.in.wiget 2011-10-13 17:43:32.333505299 +0200
-+++ grub-1.99/util/grub-mkconfig.in 2011-10-13 17:43:45.513070998 +0200
+diff -ur grub-2.04.orig/util/grub-mkconfig.in grub-2.04/util/grub-mkconfig.in
+--- grub-2.04.orig/util/grub-mkconfig.in 2019-08-18 15:49:45.245000000 +0200
++++ grub-2.04/util/grub-mkconfig.in 2019-08-18 15:49:57.907000000 +0200
@@ -1,5 +1,6 @@
#! /bin/sh
set -e