wok rev 11770
zsh: give a tty to configure
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Thu Feb 23 08:52:18 2012 +0100 (2012-02-23) |
parents | 8abb690cb86e |
children | a6bab8cd726e |
files | zsh/receipt |
line diff
1.1 --- a/zsh/receipt Wed Feb 22 20:48:36 2012 -0800 1.2 +++ b/zsh/receipt Thu Feb 23 08:52:18 2012 +0100 1.3 @@ -21,7 +21,7 @@ 1.4 --disable-dynamic --enable-multibyte \ 1.5 --enable-fndir=/usr/share/zsh/functions \ 1.6 --enable-scriptdir=/usr/share/zsh/scripts \ 1.7 - $CONFIGURE_ARGS && 1.8 + $CONFIGURE_ARGS < /dev/tty0 && 1.9 make && 1.10 make install 1.11 }