wok rev 19754
bash: without installed readline
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Sat Feb 18 23:01:05 2017 +0100 (2017-02-18) |
parents | 71869f82ce0a |
children | 25a4515a3878 |
files | bash/receipt |
line diff
1.1 --- a/bash/receipt Sat Feb 18 22:29:24 2017 +0100 1.2 +++ b/bash/receipt Sat Feb 18 23:01:05 2017 +0100 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