diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2021-09-21 11:56:02 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2021-09-21 11:56:02 -0400 |
commit | 5353347f23f4a0cb044d1d87d7747dedc71f525c (patch) | |
tree | aed48680549c5f062f2f9bea8eae9ad5cb46fded /util.h | |
parent | 4bcb10a88e3d282494642c1fa10140b42f501e97 (diff) | |
download | bfs-5353347f23f4a0cb044d1d87d7747dedc71f525c.tar.xz |
ctx: Also deduplicate the standard streams
This fixes some potential missing output when the same file is used in a
redirection and something like -fprint. The main benefit is smarter
handling of /dev/stdout, which will now share the CFILE* with cout.
Diffstat (limited to 'util.h')
0 files changed, 0 insertions, 0 deletions