# HG changeset patch # User Christopher Rogers # Date 1305864789 0 # Node ID 342cd0420c47a9013c30d6a06c17b0c0928984f8 # Parent 1d5ac570e618b65c106595bfb459cd2e7ebd793a bash: Add $CONFIGURE_ARGS. diff -r 1d5ac570e618 -r 342cd0420c47 bash/receipt --- a/bash/receipt Fri May 20 04:10:28 2011 +0000 +++ b/bash/receipt Fri May 20 04:13:09 2011 +0000 @@ -27,7 +27,8 @@ ./configure --bindir=/bin \ --enable-history --enable-alias \ --disable-nls --without-bash-malloc \ - --disable-help-builtin --with-installed-readline && + --disable-help-builtin --with-installed-readline \ + $CONFIGURE_ARGS && make && # Bash doesn't care about DESTDIR in environnment variable. make DESTDIR=$DESTDIR install