# HG changeset patch # User Pascal Bellard # Date 1362934610 -3600 # Node ID 74214d640d0fbf7b16277053c6f494c9e4977682 # Parent 4add8eb5b2096615db695f9a19ea8873abff7d77 linux: update bdeps (again) diff -r 4add8eb5b209 -r 74214d640d0f linux/receipt --- a/linux/receipt Sun Mar 10 17:43:26 2013 +0100 +++ b/linux/receipt Sun Mar 10 17:56:50 2013 +0100 @@ -48,7 +48,7 @@ case "$ARCH" in arm) echo "Compiling: ARM Kernel" - if [ ! -f $SRC/$(basename $PATCH) ]; then + if [ ! -s $SRC/$(basename $PATCH) ]; then wget --no-check-certificate $PATCH -O $SRC/$(basename $PATCH) fi make mrproper @@ -133,14 +133,10 @@ EOT if [ "$KBASEVER" != "$VERSION" ]; then - if [ -f $SOURCES_REPOSITORY/$(basename $PATCH) ]; then - xzcat $SOURCES_REPOSITORY/$(basename $PATCH) | patch -Np1 - touch done.patch-$VERSION - else - wget --no-check-certificate $PATCH -O $SRC/$(basename $PATCH) - xzcat $SRC/$(basename $PATCH) | patch -Np1 - touch done.patch-$VERSION - fi + [ -s $SRC/$(basename $PATCH) ] || + wget --no-check-certificate $PATCH -O $SRC/$(basename $PATCH) + xzcat $SRC/$(basename $PATCH) | patch -Np1 + touch done.patch-$VERSION fi sed -i 's|SUBLEVEL =.*|SUBLEVEL =|g' Makefile