12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- #!/usr/bin/env bash
- [ "x${DEBUG+set}" = 'xset' ] && set -v
- set -u -e
- printf "Downloading GRUB\n"
- rm -Rf "grub/"
- 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
- (
- cd "grub/"
- 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/
- git reset --hard d271f868a8df9bbec29049d01e056481b7a1a263
- rm -Rf .git*
- )
- printf "\n\n"
|