Use line-buffering on stdout, regardless of the output device.
This commit is contained in:
parent
355948af16
commit
e5028a4d83
Loading…
Reference in New Issue