wok diff linux-source/stuff/get-linux-source @ rev 12254

Up: slitaz-configs (4.9.1) - Last minute bug fix
author Christophe Lincoln <pankso@slitaz.org>
date Tue Apr 10 13:54:27 2012 +0200 (2012-04-10)
parents 14a02389406d
children 181077a51c57
line diff
     1.1 --- a/linux-source/stuff/get-linux-source	Fri Sep 02 14:26:45 2011 +0200
     1.2 +++ b/linux-source/stuff/get-linux-source	Tue Apr 10 13:54:27 2012 +0200
     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