wok-4.x rev 11281

linux-source: try some mirrors
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Nov 10 15:34:23 2011 +0100 (2011-11-10)
parents 95ddbd72ff61
children 9fbc2cf092bf
files linux-source/stuff/get-linux-source
line diff
     1.1 --- a/linux-source/stuff/get-linux-source	Thu Nov 10 11:20:29 2011 +0000
     1.2 +++ b/linux-source/stuff/get-linux-source	Thu Nov 10 15:34:23 2011 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  VERSION=XXX
     1.5  
     1.6  url=$(cat /usr/src/kernel-patches/slitaz/url)
     1.7 +for i in http://linux-kernel.uio.no/pub http://www.gtlib.gatech.edu/pub/kernel.org http://www.kernel.org/pub ; do
     1.8 +	busybox wget -s $url && break
     1.9 +	url=$(echo $url | sed "s|.*/linux/kernel|$i/linux/kernel|")
    1.10 +done
    1.11  
    1.12  if [ ! -d $SOURCES_REPOSITORY ]; then
    1.13  	mkdir -p $SOURCES_REPOSITORY