wok rev 19699

bash: patches in SOURCES_REPOSITORY
author Pascal Bellard <pascal.bellard@slitaz.org>
date Tue Feb 14 09:37:31 2017 +0100 (2017-02-14)
parents 200d202603ff
children 2ef55dfdd07c
files bash/receipt
line diff
     1.1 --- a/bash/receipt	Tue Feb 14 08:37:15 2017 +0100
     1.2 +++ b/bash/receipt	Tue Feb 14 09:37:31 2017 +0100
     1.3 @@ -24,10 +24,11 @@
     1.4  patch_bash()
     1.5  {
     1.6  	for i in $BASHPATCHES ; do
     1.7 -		[ -s "$SOURCES_REPOSITORY/$i" ] || 
     1.8 +		if [ ! -s "$SOURCES_REPOSITORY/$i" ]; then
     1.9  			echo  "Downloading $i"
    1.10  			busybox wget -O "$SOURCES_REPOSITORY/$i" \
    1.11  			http://ftp.gnu.org/gnu/bash/bash-$BASEVERSION-patches/$i
    1.12 +		fi
    1.13  		echo "Apply $i ..."
    1.14  		patch -p0 < $SOURCES_REPOSITORY/$i
    1.15  	done