From f0b157a5250e1af54f9a8921e8eb27992a6c60dc Mon Sep 17 00:00:00 2001 From: Mike Pape Date: Fri, 3 Aug 2007 19:40:35 -0400 Subject: [PATCH] Fall back to http:// if git:// fails. When cloning the mingw repository, if git:// fails, we can now fall back to http:// since curl is built by default. Signed-off-by: Mike Pape --- etc/profile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/etc/profile b/etc/profile index 6e7457a6..bb9e922b 100644 --- a/etc/profile +++ b/etc/profile @@ -74,7 +74,9 @@ test -e /bin/git.exe || { git config remote.mob.push master:mob && echo && echo "Fetching the MinGW repository from repo.or.cz" && - git fetch && + (git fetch || + (git config remote.origin.url http://repo.or.cz/r/git/mingw.git && + git fetch)) && git reset 382210f715c0e1ef7a19eb10977dae4265a2c88f case $? in -- 2.11.4.GIT