wok-current 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