From 5404bdb749621c09fe642d0cd023126929a9b022 Mon Sep 17 00:00:00 2001 From: Konrad Rzeszutek Wilk Date: Tue, 7 Feb 2017 15:53:38 -0500 Subject: [PATCH] Makefile: Enable git pulling using HTTP to deal with firewalls. Signed-off-by: Konrad Rzeszutek Wilk --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 56ef876..03e1912 100644 --- a/Makefile +++ b/Makefile @@ -157,7 +157,7 @@ xen-DISTRIB_TARGET = dist/common/xen.gz xen-config: if [ -e xen/tools/configure ]; then \ if ! [ -e xen/tools/config.h ]; \ - then (cd xen;./configure --prefix=/usr --disable-blktap2); \ + then (cd xen;./configure --prefix=/usr --disable-blktap2 --enable-githttp); \ fi; \ fi if [ -e xen/tools/firmware/seabios-dir ]; then \ -- 2.39.5