diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/scripts/helpers/download/grub | 5 |
1 files changed, 3 insertions, 2 deletions
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 # ------------------------------------------------------------------------------ |