posix.patch

   1 diff -ur grub-2.04.orig/util/grub-mkconfig.in grub-2.04/util/grub-mkconfig.in
   2 --- grub-2.04.orig/util/grub-mkconfig.in        2019-08-18 15:49:45.245000000 +0200
   3 +++ grub-2.04/util/grub-mkconfig.in     2019-08-18 15:49:57.907000000 +0200
   4 @@ -1,5 +1,6 @@
   5  #! /bin/sh
   6  set -e
   7 +set -o posix
   8
   9  # Generate grub.cfg by inspecting /boot contents.
  10  # Copyright (C) 2006,2007,2008,2009,2010 Free Software Foundation, Inc.