diff options
Diffstat (limited to 'resources/scripts/download/grub')
-rwxr-xr-x | resources/scripts/download/grub | 56 |
1 files changed, 2 insertions, 54 deletions
diff --git a/resources/scripts/download/grub b/resources/scripts/download/grub index 97bae1ed..5a8cc041 100755 --- a/resources/scripts/download/grub +++ b/resources/scripts/download/grub @@ -21,57 +21,5 @@ [ "x${DEBUG+set}" = 'xset' ] && set -v set -u -e -usage() -{ - progname="./download grub" - printf "Usage:\n" - printf "\t%s # %s\n" \ - "${progname}" \ - "Download GRUB" - printf "\t%s --help # %s\n" \ - "${progname}" \ - "Prints this help" -} - -if [ $# -ne 0 ] ; then - usage - exit 0 -fi - -# Remove the old version that may still exist -# ------------------------------------------------------------------------------ - -printf "Downloading GRUB\n" - -rm -Rf "grub/" - -# Get latest GRUB -# ------------------------------------------------------------------------------ - -# download it using git -git clone git://git.savannah.gnu.org/grub.git || git clone http://git.savannah.gnu.org/r/grub.git - -if [ ! -d "grub" ]; then - printf "grub not downloaded; check network connection?\n\n" - exit 1 -fi - -( -# modifications are required -cd "grub/" -# reset to known revision -git reset --hard 50aace6bdb918150ba47e3c16146dcca271c134a -for grubpatch in ../resources/grub/patches/*; do - git am "${grubpatch}" -done - -git clone git://git.sv.gnu.org/gnulib gnulib -cd gnulib/ - -# NOTE: when updating this, make sure it's the version specified -# in bootstrap.conf on that version of GRUB, as specified above -git reset --hard d271f868a8df9bbec29049d01e056481b7a1a263 -rm -Rf .git* -) - -printf "\n\n" +./download gitmodule grub +./download gitmodule gnulib |