# HG changeset patch # User Pascal Bellard # Date 1329983538 -3600 # Node ID 3d3465b1f28d0daddc454fe1eb72023edfb12bb4 # Parent 8abb690cb86ecd9d2f7b0ec657d101de022a2a24 zsh: give a tty to configure diff -r 8abb690cb86e -r 3d3465b1f28d zsh/receipt --- a/zsh/receipt Wed Feb 22 20:48:36 2012 -0800 +++ b/zsh/receipt Thu Feb 23 08:52:18 2012 +0100 @@ -21,7 +21,7 @@ --disable-dynamic --enable-multibyte \ --enable-fndir=/usr/share/zsh/functions \ --enable-scriptdir=/usr/share/zsh/scripts \ - $CONFIGURE_ARGS && + $CONFIGURE_ARGS < /dev/tty0 && make && make install }