Use mirror for downloading kernel

kernel.org is down (at least their geo.kernel.org DNS).
13 years ago · 01faeae0f5
parent a2776fee7d
commit 01faeae0f5
1 changed files with 2 additions and 1 deletions
--- a/Makefile.common
+++ b/Makefile.common
@ -37,7 +37,8 @@ endif

 all: help

-SRC_BASEURL := http://www.kernel.org/pub/linux/kernel/v$(shell echo $(VERSION) | sed 's/^\([0-9]*\.[0-9]*\).*/\1/')
+MIRROR := kernel.inode.at
+SRC_BASEURL := http://${MIRROR}/pub/linux/kernel/v$(shell echo $(VERSION) | sed 's/^\([0-9]*\.[0-9]*\).*/\1/')
 SRC_FILE := linux-${VERSION}.tar.bz2
 SIGN_FILE := linux-${VERSION}.tar.bz2.sign