From b66edef4fd1c4424238ca30ff6ff78fe3e032eac Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Wed, 07 Oct 2015 07:00:21 -0400 Subject: Update GRUB --- (limited to 'resources') diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub index 229b8ce..5138f76 100755 --- a/resources/scripts/helpers/download/grub +++ b/resources/scripts/helpers/download/grub @@ -24,8 +24,6 @@ [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e -# Get GRUB, revert to commit last used and apply patches. - # Remove the old version that may still exist # ------------------------------------------------------------------------------ @@ -42,6 +40,9 @@ git clone git://git.savannah.gnu.org/grub.git # modifications are required cd "grub/" +# reset to known revision +git reset --hard 7a210304ebfd6d704b4fc08fe496a0c417441879 + # Apply patches # ------------------------------------------------------------------------------ -- cgit v0.9.1