posix.patch

   1 diff -urNp grub-2.02-rc1.orig/util/grub-mkconfig.in grub-2.02-rc1/util/grub-mkconfig.in
   2 --- grub-2.02-rc1.orig/util/grub-mkconfig.in    2017-02-08 15:05:01.428318167 +0000
   3 +++ grub-2.02-rc1/util/grub-mkconfig.in 2017-02-08 15:05:13.547318031 +0000
   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.