wok rev 14177

linux: update bdeps (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun Mar 10 17:43:26 2013 +0100 (2013-03-10)
parents d2db17d1c93b
children 74214d640d0f
files linux/receipt
line diff
     1.1 --- a/linux/receipt	Sun Mar 10 17:30:18 2013 +0100
     1.2 +++ b/linux/receipt	Sun Mar 10 17:43:26 2013 +0100
     1.3 @@ -49,7 +49,7 @@
     1.4  		arm)
     1.5  			echo "Compiling: ARM Kernel"
     1.6  			if [ ! -f $SRC/$(basename $PATCH) ]; then
     1.7 -				wget $PATCH -O $SRC/$(basename $PATCH)
     1.8 +				wget --no-check-certificate $PATCH -O $SRC/$(basename $PATCH)
     1.9  			fi
    1.10  			make mrproper
    1.11  			# Buggy: we got kernel panic about module not tinted 3.2.14
    1.12 @@ -137,7 +137,7 @@
    1.13  			xzcat $SOURCES_REPOSITORY/$(basename $PATCH) | patch -Np1
    1.14  			touch done.patch-$VERSION
    1.15  		else
    1.16 -			wget $PATCH -O $SRC/$(basename $PATCH)
    1.17 +			wget --no-check-certificate $PATCH -O $SRC/$(basename $PATCH)
    1.18  			xzcat $SRC/$(basename $PATCH) | patch -Np1
    1.19  			touch done.patch-$VERSION
    1.20  		fi