# HG changeset patch
# User Pascal Bellard <pascal.bellard@slitaz.org>
# Date 1487061451 -3600
# Node ID 0f34c2adc9a703913b0b8f1ee21b00ba04b7cb11
# Parent  200d202603ff799aac945c24b729a19d16f4f48f
bash: patches in SOURCES_REPOSITORY

diff -r 200d202603ff -r 0f34c2adc9a7 bash/receipt
--- a/bash/receipt	Tue Feb 14 08:37:15 2017 +0100
+++ b/bash/receipt	Tue Feb 14 09:37:31 2017 +0100
@@ -24,10 +24,11 @@
 patch_bash()
 {
 	for i in $BASHPATCHES ; do
-		[ -s "$SOURCES_REPOSITORY/$i" ] || 
+		if [ ! -s "$SOURCES_REPOSITORY/$i" ]; then
 			echo  "Downloading $i"
 			busybox wget -O "$SOURCES_REPOSITORY/$i" \
 			http://ftp.gnu.org/gnu/bash/bash-$BASEVERSION-patches/$i
+		fi
 		echo "Apply $i ..."
 		patch -p0 < $SOURCES_REPOSITORY/$i
 	done