hvmloader: Download gpxe bits via HTTP rather than GIT protocol.

Latter is faster but won't work through all firewall setups.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/tools/firmware/etherboot/Makefile b/tools/firmware/etherboot/Makefile
index 7d19a765a5cd78dac06d8411c13dcd8fa53b2301..13ea7213649ee0a897357a53b6e72444e6ed4664 100644 (file)
--- a/tools/firmware/etherboot/Makefile
+++ b/tools/firmware/etherboot/Makefile
@@ -4,7 +4,9 @@ XEN_ROOT = ../../..
 include $(XEN_ROOT)/tools/Rules.mk
 include Config
 
-GPXE_GIT_URL := git://git.etherboot.org/scm/gpxe.git
+# NB. git:// protocol is faster but doesn't work through all firewalls
+# GPXE_GIT_URL := git://git.etherboot.org/scm/gpxe.git
+GPXE_GIT_URL := http://git.etherboot.org/scm/gpxe.git
 GPXE_GIT_TAG := v1.0.1
 
 D=gpxe