summaryrefslogtreecommitdiff
path: root/resources/scripts/download/grub
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/download/grub')
-rwxr-xr-xresources/scripts/download/grub56
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