AFAIU, this redirection is for the rare situation that the script somehow invokes interactive commands, which will then wait for an EOF. So I think replacing it with justexec 6>&1 is good enough (I did that in gdb/config/djgpp/config.sed for GDB), and I believe the proposed patch does just that. (If I'm barking up the wrong tree, please tell what does this code generate in the configure script, and I will look again.)
No, that's correct. Paolo
