From b66edef4fd1c4424238ca30ff6ff78fe3e032eac Mon Sep 17 00:00:00 2001 From: Francis Rowe Date: Wed, 7 Oct 2015 12:00:21 +0100 Subject: Update GRUB --- resources/scripts/helpers/download/grub | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'resources/scripts') diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub index 229b8cef..5138f766 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 v1.2.3-70-g09d2