Hello,
Ken Raeburn writes:
> It appears to me that Guile is buffering the default output and error
> ports if they're not connected to terminal devices, so writing the
> output to a file or piping through more enables buffering and can
> produce the problem. The patch below has fixed it for me
The duplicated output that Greg and I (at least) have seen in the
output of "make check" is, I suspect, related to not flushing buffers
before forking. At least in my tests, the bug only showed up when
piping output through "more"; Greg's email (http://www.mail-archive.com/guile-devel@gnu.or
