On 2007-06-13 16:31:22 -0600, Kyle Wheeler wrote: > Perhaps the thing to do is only pause and display a warning if there > was anything printed to stderr?
No, a program may terminate unsuccessfully without outputting anything to stderr. For instance, this is the case when one uses a wrapper sh script with "set -e" and some command just fails. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
