Per Jessen wrote:
>> I'm pretty sure that line buffering settings are user-space features,
>> not process features, and as such they are not inherited by
>> sub-processes but rather determined anew for every process that
>> starts, based on its terminal settings, etc.
>
> Hmm, when a new process is forked, I'm pretty certain the default is
> for it to continue using whatever stdin/out/err settings the parent
> process was using.
OK, I tried prefixing the call to make with the following:
int main( int argc, char **argv )
{
setlinebuf(stdout);
setlinebuf(stderr);
execvp( argv[1], argv+1 );
}
such that stdout and stderr would have line buffering set from the
beginning. Didn't change a thing though.
/Per Jessen, Zürich
_______________________________________________
Help-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-make
