Hi autoguys, I am piping the output of a script to the shell, and using COMMAND | sh would not respect the -e/-x settings of the outer shell. I have thought of two replacements: { set +o; COMMAND; } | sh COMMAND | . /dev/fd/0 The second looks nicer, but it's not portable. Actually I am not sure about the portability of the first, either. It's my own little script, so I can use non-portable stuff, but still I'm curious about a portable way to do this. Ideas? Can't you use? COMMAND | sh +x _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf