wok-6.x rev 19647

linux-source: busybox wget removed -s for spider
author Richard Dunbar <mojo@slitaz.org>
date Sat Jan 21 12:54:39 2017 -0500 (2017-01-21)
parents b6d979979320
children 34cda0790cda
files linux-source/stuff/get-linux-source
line diff
     1.1 --- a/linux-source/stuff/get-linux-source	Sat Jan 21 16:54:49 2017 +0200
     1.2 +++ b/linux-source/stuff/get-linux-source	Sat Jan 21 12:54:39 2017 -0500
     1.3 @@ -7,12 +7,12 @@
     1.4  
     1.5  url=$(cat /usr/src/kernel-patches/slitaz/url | sed "s/-${VERSION:0:3}.tar/-$VERSION.tar/")
     1.6  for i in http://linux-kernel.uio.no/pub http://www.gtlib.gatech.edu/pub/kernel.org http://www.kernel.org/pub ; do
     1.7 -	busybox wget -s $url && break
     1.8 +	busybox wget --spider $url && break
     1.9  	url=$(echo $url | sed "s|.*/linux/kernel|$i/linux/kernel|")
    1.10  done
    1.11  
    1.12  mirror_src=http://mirror.slitaz.org/sources/packages-$(cat /etc/slitaz-release)
    1.13 -busybox wget -s $url || url=$mirror_src/l/$(basename $url)
    1.14 +busybox wget --spider $url || url=$mirror_src/l/$(basename $url)
    1.15  
    1.16  if [ ! -d $SOURCES_REPOSITORY ]; then
    1.17  	mkdir -p $SOURCES_REPOSITORY