wok diff bash/receipt @ rev 19860

pulseaudio: fix/up 8.0
author Aleksej Bobylev <al.bobylev@gmail.com>
date Thu Mar 23 15:16:20 2017 +0200 (2017-03-23)
parents 0f34c2adc9a7
children 970c5ec9a60a
line diff
     1.1 --- a/bash/receipt	Tue Feb 14 09:37:31 2017 +0100
     1.2 +++ b/bash/receipt	Thu Mar 23 15:16:20 2017 +0200
     1.3 @@ -16,10 +16,8 @@
     1.4  EXTRA_SOURCE_FILES="$BASHCHECK $BASHPATCHES"
     1.5  TAGS="shell"
     1.6  
     1.7 -DEPENDS="libtinfo" # readline
     1.8 -BUILD_DEPENDS="readline bison wget texinfo"
     1.9 -#configure: WARNING: installed readline library is too old to be linked with bash
    1.10 -#configure: WARNING: using private bash version
    1.11 +DEPENDS="libtinfo"
    1.12 +BUILD_DEPENDS="bison wget texinfo"
    1.13  
    1.14  patch_bash()
    1.15  {
    1.16 @@ -71,7 +69,7 @@
    1.17  		--enable-history --enable-alias  \
    1.18  		--disable-nls --without-bash-malloc \
    1.19  		--disable-help-builtin \
    1.20 -		--with-installed-readline &&
    1.21 +		--with-installed-readline=no &&
    1.22  	make &&
    1.23  	# Bash doesn't care about DESTDIR in environnment variable.
    1.24  	make DESTDIR=$DESTDIR install