diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2016-03-07 08:54:55 (EST) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2016-03-07 08:54:55 (EST) |
| commit | 139f3728d55a35485d20287f1520e99c3807bea7 (patch) | |
| tree | 8620e385ebc1d325bdfc797ad5819c72a01ed6f4 /resources/scripts/helpers | |
| parent | bfd6aafebf8b3632ffa17ad71b21ec61274546fa (diff) | |
| download | libreboot-139f3728d55a35485d20287f1520e99c3807bea7.zip libreboot-139f3728d55a35485d20287f1520e99c3807bea7.tar.gz libreboot-139f3728d55a35485d20287f1520e99c3807bea7.tar.bz2 | |
download/grub: use http:// if git:// fails
At the time, Savannah had an issue cloning from git:// for GRUB. They probably
fixed this already, but http:// worked alternatively. So add a catch that makes
it download from http:// if git:// fails
Diffstat (limited to 'resources/scripts/helpers')
| -rwxr-xr-x | resources/scripts/helpers/download/grub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub index eec9120..880d7ff 100755 --- a/resources/scripts/helpers/download/grub +++ b/resources/scripts/helpers/download/grub @@ -35,7 +35,7 @@ rm -Rf "grub/" # ------------------------------------------------------------------------------ # download it using git -git clone git://git.savannah.gnu.org/grub.git +git clone git://git.savannah.gnu.org/grub.git || git clone http://git.savannah.gnu.org/r/grub.git # modifications are required cd "grub/" |