aboutsummaryrefslogtreecommitdiffstats
path: root/Config.mk
diff options
context:
space:
mode:
authoriap10@spot.cl.cam.ac.uk <iap10@spot.cl.cam.ac.uk>2005-06-19 10:28:07 +0000
committeriap10@spot.cl.cam.ac.uk <iap10@spot.cl.cam.ac.uk>2005-06-19 10:28:07 +0000
commit38539de55fb54b72f3aa5add2f301ea29edcf3dd (patch)
treebd50c9a4a0f9d4b56ff0a7b715ac704a2ecf378b /Config.mk
parent85b8054cebe256d496b48d6313485c18cf02115d (diff)
downloadxen-38539de55fb54b72f3aa5add2f301ea29edcf3dd.tar.gz
xen-38539de55fb54b72f3aa5add2f301ea29edcf3dd.tar.bz2
xen-38539de55fb54b72f3aa5add2f301ea29edcf3dd.zip
bitkeeper revision 1.1718.2.1 (42b548b7ux2RLNcFOrtdJXuEMvLNEw)
This patch allows user to choose mirror to get linux kernel source instead of getting it from kernel.org (which set as default)
Diffstat (limited to 'Config.mk')
-rw-r--r--Config.mk3
1 files changed, 3 insertions, 0 deletions
diff --git a/Config.mk b/Config.mk
index b3320b2711..390a9b3abe 100644
--- a/Config.mk
+++ b/Config.mk
@@ -31,3 +31,6 @@ endif
LDFLAGS += $(foreach i, $(EXTRA_LIB), -L$(i))
CFLAGS += $(foreach i, $(EXTRA_INCLUDES), -I$(i))
+
+# Choose the best mirror to download linux kernel
+KERNEL_REPO = http://www.kernel.org