wok-next rev 10053

bash: Add $CONFIGURE_ARGS.
author Christopher Rogers <slaxemulator@gmail.com>
date Fri May 20 04:13:09 2011 +0000 (2011-05-20)
parents 1d5ac570e618
children b8454fb20cc5
files bash/receipt
line diff
     1.1 --- a/bash/receipt	Fri May 20 04:10:28 2011 +0000
     1.2 +++ b/bash/receipt	Fri May 20 04:13:09 2011 +0000
     1.3 @@ -27,7 +27,8 @@
     1.4  	./configure --bindir=/bin \
     1.5  		--enable-history --enable-alias  \
     1.6  		--disable-nls --without-bash-malloc \
     1.7 -		--disable-help-builtin --with-installed-readline &&
     1.8 +		--disable-help-builtin --with-installed-readline \ 
     1.9 +		$CONFIGURE_ARGS &&
    1.10  	make &&
    1.11  	# Bash doesn't care about DESTDIR in environnment variable.
    1.12  	make DESTDIR=$DESTDIR install