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

Add: mariadb
author Eric Joseph-Alexandre <erjo@slitaz.org>
date Wed Jun 20 15:35:34 2012 +0200 (2012-06-20)
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	Wed Jun 20 15:35:34 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