libreboot

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit b66edef4fd1c4424238ca30ff6ff78fe3e032eac
parent d0c54b9ca11bdcae0b179d21028c722aeb9f9095
Author: Francis Rowe <info@gluglug.org.uk>
Date:   Wed,  7 Oct 2015 12:00:21 +0100

Update GRUB

Diffstat:
resources/scripts/helpers/download/grub | 5+++--
1 file changed, 3 insertions(+), 2 deletions(-)

diff --git 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 # ------------------------------------------------------------------------------