summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrancis 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)
commit139f3728d55a35485d20287f1520e99c3807bea7 (patch)
tree8620e385ebc1d325bdfc797ad5819c72a01ed6f4
parentbfd6aafebf8b3632ffa17ad71b21ec61274546fa (diff)
downloadlibreboot-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
-rwxr-xr-xresources/scripts/helpers/download/grub2
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/"